The computational complexity of abduction. (1991)

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