Basin, David Programming Logics, MPI for Informatics, Max Planck Society;
https://rdcu.be/dvqiO (Publisher version)
Barnett, R., Basin, D., & Hesketh, J. (1993). A Recursion Planning Analysis of Inductive Completion. Annals of Mathematics and Artificial Intelligence, 8(3-4), 363-381. doi:10.1007/BF01530798.