%0 Conference Paper %1 conf/deductive/BaumgartnerF96 %A Baumgartner, Peter %A Furbach, Ulrich %B DDLP %D 1996 %E Boulanger, Dmitri %E Geske, Ulrich %E Giannotti, Fosca %E Seipel, Dietmar %I GMD, Sankt Augustin, Germany %K dblp %P 29-43 %T Hyper Tableaux and Disjunctive Logic Programming. %U http://dblp.uni-trier.de/db/conf/deductive/deductive96.html#BaumgartnerF96 %V 295 %@ 3-88457-295-4

@inproceedings{conf/deductive/BaumgartnerF96, added-at = {2012-05-29T00:00:00.000+0200}, author = {Baumgartner, Peter and Furbach, Ulrich}, biburl = {https://www.bibsonomy.org/bibtex/215673753435fb29cc7a68aa57cc931d3/dblp}, booktitle = {DDLP}, crossref = {conf/deductive/1996}, editor = {Boulanger, Dmitri and Geske, Ulrich and Giannotti, Fosca and Seipel, Dietmar}, interhash = {6cfac3188f2e20daa811dc6e0d2d9b19}, intrahash = {15673753435fb29cc7a68aa57cc931d3}, isbn = {3-88457-295-4}, keywords = {dblp}, pages = {29-43}, publisher = {GMD, Sankt Augustin, Germany}, series = {GMD-Studien}, timestamp = {2013-12-05T11:33:55.000+0100}, title = {Hyper Tableaux and Disjunctive Logic Programming.}, url = {http://dblp.uni-trier.de/db/conf/deductive/deductive96.html#BaumgartnerF96}, volume = 295, year = 1996 }