Richard Barnett David A. Basin Jane Hesketh A Recursion Planning Analysis of Inductive Completion. 363-381 1993 8 Ann. Math. Artif. Intell. 3-4 db/journals/amai/amai8.html#BarnettBH93