Socher-Ambrosius, Rolf Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-92-206.pdf (Any fulltext), 8MB
Socher-Ambrosius, R.(1992). A goal oriented strategy based on completion (MPI-I-92-206). Saarbrücken: Max-Planck-Institut für Informatik.