The complexity of logicbased abduction (1995)

by T Eiter, G Gottlob
Venue:Journal of the ACM