Abduction by deduction. - Tze Ho Fung (1996)

The Iff Proof Procedure for Abductive Logic Programming. - Tze Ho Fung; Robert A. Kowalski (J. Log. Program., 1997)