%0 Journal Article %1 journals/corr/cs-AI-0003036 %A Eiter, Thomas %A Faber, Wolfgang %A Koch, Christoph %A Leone, Nicola %A Pfeifer, Gerald %D 2000 %J CoRR %K dblp %T DLV - A System for Declarative Problem Solving %U http://dblp.uni-trier.de/db/journals/corr/corr0003.html#cs-AI-0003036 %V cs.AI/0003036

@article{journals/corr/cs-AI-0003036, added-at = {2020-01-10T00:00:00.000+0100}, author = {Eiter, Thomas and Faber, Wolfgang and Koch, Christoph and Leone, Nicola and Pfeifer, Gerald}, biburl = {https://www.bibsonomy.org/bibtex/251d3cb0aaa22e7a9ecf8e0dd827ab128/dblp}, ee = {https://arxiv.org/abs/cs/0003036}, interhash = {888da1a53f9128d2bcacbc9c8c8b5f11}, intrahash = {51d3cb0aaa22e7a9ecf8e0dd827ab128}, journal = {CoRR}, keywords = {dblp}, timestamp = {2020-01-11T11:40:53.000+0100}, title = {DLV - A System for Declarative Problem Solving}, url = {http://dblp.uni-trier.de/db/journals/corr/corr0003.html#cs-AI-0003036}, volume = {cs.AI/0003036}, year = 2000 }