The complexity of logic-based abduction (1995)

by Thomas Eiter, Georg Gottlob
Venue:J. of the ACM