The complexity of logicbased abduction. (1995)

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