The computational complexity of abduction (1991)

by T Bylander, D Allemang, M Tanner, J Josephson
Venue:Artificial Intelligence