db/journals/jacm/EiterG95.html Thomas Eiter Georg Gottlob The Complexity of Logic-Based Abduction. 3-42 1995 42 J. ACM 1 db/journals/jacm/jacm42.html#EiterG95 http://doi.acm.org/10.1145/200836.200838