@inproceedings{conf/iclp/EiterG92, title = "Complexity Results for Logic-Based Abduction", author = "Thomas Eiter and Georg Gottlob", year = "1992", booktitle = "Structural Complexity and Recursion-theoretic methods in Logic-Programming", pages = "29-44", }