The complexity of logic-based abduction (1995)

by T Eiter, G Gottlob
Venue:J. ACM