The complexity of logic-based abduction (0)

by T Eiter, G Gottlob
Venue:J ACM