Some results concerning the computational complexity of abduction (1989)

by Tom Bylander, Dean Allemang, Michael C Tanner, John R Josephson
Venue:Proceedings of First International Conference on Principles of Knowledge Representation and Reasoning