An efficient first-order abduction system based on the ATMS (1991)

by Hwee Tou Ng, Raymond J Mooney