%0 Conference Paper %1 conf/iclp/EiterG92 %A Eiter, Thomas %A Gottlob, Georg %B Structural Complexity and Recursion-theoretic methods in Logic-Programming %D 1992 %E Blair, Howard A. %E Marek, V. Wiktor %E Nerode, Anil %E Remmel, Jeffrey B. %I Mathematical Sciences Institute, Cornell University %K dblp %P 29-44 %T Complexity Results for Logic-Based Abduction. %U http://dblp.uni-trier.de/db/conf/iclp/iclp92-w1.html#EiterG92

@inproceedings{conf/iclp/EiterG92, added-at = {2013-12-02T00:00:00.000+0100}, author = {Eiter, Thomas and Gottlob, Georg}, biburl = {https://www.bibsonomy.org/bibtex/2e2b1d944f8cc55d9b92834202c80cf33/dblp}, booktitle = {Structural Complexity and Recursion-theoretic methods in Logic-Programming}, crossref = {conf/iclp/1992w1}, editor = {Blair, Howard A. and Marek, V. Wiktor and Nerode, Anil and Remmel, Jeffrey B.}, interhash = {83bf9487ad7968690329164c5765c453}, intrahash = {e2b1d944f8cc55d9b92834202c80cf33}, keywords = {dblp}, pages = {29-44}, publisher = {Mathematical Sciences Institute, Cornell University}, timestamp = {2018-06-22T11:50:02.000+0200}, title = {Complexity Results for Logic-Based Abduction.}, url = {http://dblp.uni-trier.de/db/conf/iclp/iclp92-w1.html#EiterG92}, year = 1992 }