Basin, David A. Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-92-230.pdf (Any fulltext), 126KB
Barnett, R., Basin, D. A., & Hesketh, J.(1992). A recursion planning analysis of inductive completion (MPI-I-92-230). Saarbrücken: Max-Planck-Institut für Informatik.