%0 Conference Paper %1 conf/birthday/FaberLP12 %A Faber, Wolfgang %A Leone, Nicola %A Perri, Simona %B Correct Reasoning %D 2012 %E Erdem, Esra %E Lee, Joohyung %E Lierler, Yuliya %E Pearce, David %I Springer %K dblp %P 247-264 %T The Intelligent Grounder of DLV. %U http://dblp.uni-trier.de/db/conf/birthday/lifschitz2012.html#FaberLP12 %V 7265 %@ 978-3-642-30742-3

@inproceedings{conf/birthday/FaberLP12, added-at = {2023-06-26T00:00:00.000+0200}, author = {Faber, Wolfgang and Leone, Nicola and Perri, Simona}, biburl = {https://www.bibsonomy.org/bibtex/291b863c33673130a83f35b0988ff1978/dblp}, booktitle = {Correct Reasoning}, crossref = {conf/birthday/2012lifschitz}, editor = {Erdem, Esra and Lee, Joohyung and Lierler, Yuliya and Pearce, David}, ee = {https://doi.org/10.1007/978-3-642-30743-0_17}, interhash = {87e7e6aa897263e5e6327bf0d2f59580}, intrahash = {91b863c33673130a83f35b0988ff1978}, isbn = {978-3-642-30742-3}, keywords = {dblp}, pages = {247-264}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T14:05:14.000+0200}, title = {The Intelligent Grounder of DLV.}, url = {http://dblp.uni-trier.de/db/conf/birthday/lifschitz2012.html#FaberLP12}, volume = 7265, year = 2012 }