The computational complexity of abduction (1991)

by Tom Bylander, D Allemang, M C Tanner, J R Josephson
Venue:Artifkial Intelligence