computational complexity of abduction (1991)

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