%0 Conference Paper %1 conf/wlp/EiterFLPP00 %A Eiter, Thomas %A Faber, Wolfgang %A Leone, Nicola %A Pfeifer, Gerald %A Polleres, Axel %B WLP %D 2000 %E Bry, François %E Geske, Ulrich %E Seipel, Dietmar %K dblp %P 125-134 %T Using the dlv System for Planning and Diagnostic Reasoning. %U http://dblp.uni-trier.de/db/conf/wlp/wlp2000.html#EiterFLPP00 %V 90

@inproceedings{conf/wlp/EiterFLPP00, added-at = {2019-08-08T00:00:00.000+0200}, author = {Eiter, Thomas and Faber, Wolfgang and Leone, Nicola and Pfeifer, Gerald and Polleres, Axel}, biburl = {https://www.bibsonomy.org/bibtex/2ea2a82f34831e426c4ec601af781ac13/dblp}, booktitle = {WLP}, crossref = {conf/wlp/2000}, editor = {Bry, François and Geske, Ulrich and Seipel, Dietmar}, ee = {http://www.gmd.de/publications/report/0090/}, interhash = {408ac66fd577f30df05385a422692089}, intrahash = {ea2a82f34831e426c4ec601af781ac13}, keywords = {dblp}, pages = {125-134}, series = {GMD Report}, timestamp = {2019-09-10T11:42:34.000+0200}, title = {Using the dlv System for Planning and Diagnostic Reasoning.}, url = {http://dblp.uni-trier.de/db/conf/wlp/wlp2000.html#EiterFLPP00}, volume = 90, year = 2000 }