Tzee Ho Fung Robert A. Kowalski The Iff Proof Procedure for Abductive Logic Programming. 151-165 1997 33 J. Log. Program. 2 db/journals/jlp/jlp33.html#FungK97