Noboru Iwayama Ken Satoh Computing abduction by using TMS with top-down expectation. 179-206 2000 44 J. Log. Program. 1-3 db/journals/jlp/jlp44.html#IwayamaS00