Tom Bylander Dean Allemang Michael C. Tanner John R. Josephson Some Results Concerning the Computational Complexity of Abduction. 44-54 1989 KR db/conf/kr/kr89.html#BylanderATJ89