Some results concerning the computational complexity of abduction (1989)

by Tom Bylander, Dean Allemang, Michael C Tanner, John R Josephson
Venue:In Proc. of the 1st Int. Conf. on Principles of Knowledge Representation and Reasoning