Basin, David A. Programming Logics, MPI for Informatics, Max Planck Society;
Bundy, Alan Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-93-214.pdf (beliebiger Volltext), 105KB
Basin, D. A., Kraan, I., & Bundy, A.(1993). Middle-out reasoning for logic program synthesis (MPI-I-93-214). Saarbrücken: Max-Planck-Institut für Informatik.