The Computational Complexity of Abduction (1991)

by Tom Bylander, Dean Allemang, Michael C. Tanner, John R. Josephson