%0 Conference Paper %1 conf/agp/EiterP03 %A Eiter, Thomas %A Polleres, Axel %B APPIA-GULP-PRODE %D 2003 %E Buccafurri, Francesco %K dblp %P 410-421 %T Transforming co-NP Checks to Answer Set Computation by Meta-Interpretation. %U http://dblp.uni-trier.de/db/conf/agp/agp2003.html#EiterP03

@inproceedings{conf/agp/EiterP03, added-at = {2004-12-01T00:00:00.000+0100}, author = {Eiter, Thomas and Polleres, Axel}, biburl = {https://www.bibsonomy.org/bibtex/2cca368ce5e6e6da0bd82d0300b8cb2c8/dblp}, booktitle = {APPIA-GULP-PRODE}, crossref = {conf/agp/2003}, date = {2004-12-01}, description = {dblp}, editor = {Buccafurri, Francesco}, interhash = {25c8142c43e22861fee9d1f0108cf844}, intrahash = {cca368ce5e6e6da0bd82d0300b8cb2c8}, keywords = {dblp}, pages = {410-421}, timestamp = {2004-12-01T00:00:00.000+0100}, title = {Transforming co-NP Checks to Answer Set Computation by Meta-Interpretation.}, url = {http://dblp.uni-trier.de/db/conf/agp/agp2003.html#EiterP03}, year = 2003 }