The Community File Station. - Richard Barnett; Richard C. Beckwith (Softw. Pract. Exp., 1981)

A Recursion Planning Analysis of Inductive Completion. - Richard Barnett; David A. Basin; Jane Hesketh (Ann. Math. Artif. Intell., 1993)