Basin, David A. Programming Logics, MPI for Informatics, Max Planck Society;
Bundy, Alan Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-92-244.pdf (beliebiger Volltext), 102KB
Kraan, I., Basin, D. A., & Bundy, A.(1992). Logic program synthesis via proof planning (MPI-I-92-244). Saarbrücken: Max-Planck-Institut für Informatik.