@inproceedings{eite-poll-2003,
	Address = {Reggio Calabria, Italy},
	Author = {Thomas Eiter and Axel Polleres},
	Booktitle = {{Proceedings of the 2003 Joint Conference on Declarative Programming APPIA-GULP-PRODE 2003}},
	Month = SEP,
	Project = {dlv},
	Talk = {Axel Polleres},
	Title = {Transforming {coNP} Checks to Answer Set Computation by Meta-Interpretation},
	Url = {http://www.kr.tuwien.ac.at/staff/eiter/et-archive/agp03.pdf},
	Year = 2003,
	Bdsk-Url-1 = {http://www.kr.tuwien.ac.at/staff/eiter/et-archive/agp03.pdf}}

{"_id":{"_str":"51f8f4cac5b22c38760001a4"},"__v":38,"authorIDs":["545720922abc8e9f370000ae","5457257c2abc8e9f370000e3","5PFMiHGwfvbGBZwWF","5de7280d97054edf010000c3","5e02b1a419da8edf01000028","5e048450db7916df010000b1","5e06d565a0810cde0100009b","5e10e27445c12cde01000062","5e123345c196d3de01000074","5e14ba61e55ed8de01000072","5e189b4e779abfdf0100013f","5e216f7e5a651cdf010000eb","5e25b9fdf299d4de01000001","5e2d64605e7586df01000083","5e36e5e9b26a0fde0100005e","5e37d23b56571fde010000de","5e4ded1052c311f20100018e","5e51a3102793ecde010000e0","5e59a6b5ad6c7fde01000114","5e5d588ead47bcde01000072","5e60e857839e59df010000f1","A5AFuDAiNR4HEYiFD","BtzwZ6TFPsASbdqvo","DLdeXAmrbA4niYQzH","FyLDFGg993nDS2Spf","NCjPvWahWRjdP3ghB","XcyP3jptz7zE4ZLws","aiXjXMLP63k5WCt84","fTDcT5K3oSTcdxSBj","fbKNfWffDzdzubrER","haaAs2rQaQA7EaZva","nQX2P8WzFeKwcpLqd","nuWuyLnGu7YzMrn4d","pfENTBFWo85mRy3ik","rX6EShFR2rMFmQL2C","w6wHZukTjqqera7BR","woa42kCD35yCmdQTj","yPgvarsL7KAT9yfZd","yzkCNJMYNL8B3bni2","zDG3tj87ZfYXo7u9c"],"author_short":["Eiter, T.","Polleres, A."],"bibbaseid":"eiter-polleres-transformingconpcheckstoanswersetcomputationbymetainterpretation-2003","bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"Reggio Calabria, Italy","author":[{"firstnames":["Thomas"],"propositions":[],"lastnames":["Eiter"],"suffixes":[]},{"firstnames":["Axel"],"propositions":[],"lastnames":["Polleres"],"suffixes":[]}],"booktitle":"Proceedings of the 2003 Joint Conference on Declarative Programming APPIA-GULP-PRODE 2003","month":"September","project":"dlv","talk":"Axel Polleres","title":"Transforming coNP Checks to Answer Set Computation by Meta-Interpretation","url":"http://www.kr.tuwien.ac.at/staff/eiter/et-archive/agp03.pdf","year":"2003","bdsk-url-1":"http://www.kr.tuwien.ac.at/staff/eiter/et-archive/agp03.pdf","bibtex":"@inproceedings{eite-poll-2003,\n\tAddress = {Reggio Calabria, Italy},\n\tAuthor = {Thomas Eiter and Axel Polleres},\n\tBooktitle = {{Proceedings of the 2003 Joint Conference on Declarative Programming APPIA-GULP-PRODE 2003}},\n\tMonth = SEP,\n\tProject = {dlv},\n\tTalk = {Axel Polleres},\n\tTitle = {Transforming {coNP} Checks to Answer Set Computation by Meta-Interpretation},\n\tUrl = {http://www.kr.tuwien.ac.at/staff/eiter/et-archive/agp03.pdf},\n\tYear = 2003,\n\tBdsk-Url-1 = {http://www.kr.tuwien.ac.at/staff/eiter/et-archive/agp03.pdf}}\n\n","author_short":["Eiter, T.","Polleres, A."],"key":"eite-poll-2003","id":"eite-poll-2003","bibbaseid":"eiter-polleres-transformingconpcheckstoanswersetcomputationbymetainterpretation-2003","role":"author","urls":{"Paper":"http://www.kr.tuwien.ac.at/staff/eiter/et-archive/agp03.pdf"},"metadata":{"authorlinks":{"polleres, a":"https://bibbase.org/show?bib=www.polleres.net/mypublications.bib"}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"www.polleres.net/mypublications.bib","downloads":0,"keywords":[],"search_terms":["transforming","conp","checks","answer","set","computation","meta","interpretation","eiter","polleres"],"title":"Transforming coNP Checks to Answer Set Computation by Meta-Interpretation","title_words":["transforming","conp","checks","answer","set","computation","meta","interpretation"],"year":2003,"dataSources":["cBfwyqsLFQQMc4Fss","gixxkiKt6rtWGoKSh","QfLT6siHZuHw9MqvK"]}