%0 Conference Paper %1 conf/iclp/RiguzziS10 %A Riguzzi, Fabrizio %A Swift, Terrance %B ICLP (Technical Communications) %D 2010 %E Hermenegildo, Manuel V. %E Schaub, Torsten %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 162-171 %T Tabling and Answer Subsumption for Reasoning on Logic Programs with Annotated Disjunctions. %U http://dblp.uni-trier.de/db/conf/iclp/iclp2010.html#RiguzziS10 %V 7 %@ 978-3-939897-17-0

@inproceedings{conf/iclp/RiguzziS10, added-at = {2018-08-23T00:00:00.000+0200}, author = {Riguzzi, Fabrizio and Swift, Terrance}, biburl = {https://www.bibsonomy.org/bibtex/22c81d50aacbbd5fbb1fa1808b48532e4/dblp}, booktitle = {ICLP (Technical Communications)}, crossref = {conf/iclp/2010}, editor = {Hermenegildo, Manuel V. and Schaub, Torsten}, ee = {https://doi.org/10.4230/LIPIcs.ICLP.2010.162}, interhash = {87bc54646e1d17e902125dff98708ab0}, intrahash = {2c81d50aacbbd5fbb1fa1808b48532e4}, isbn = {978-3-939897-17-0}, keywords = {dblp}, pages = {162-171}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-08-26T07:18:55.000+0200}, title = {Tabling and Answer Subsumption for Reasoning on Logic Programs with Annotated Disjunctions.}, url = {http://dblp.uni-trier.de/db/conf/iclp/iclp2010.html#RiguzziS10}, volume = 7, year = 2010 }