Antoy, Sergio Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-93-243.pdf (beliebiger Volltext), 193KB
Antoy, S., Echahed, R., & Hanus, M.(1993). A needed narrowing strategy (MPI-I-93-243). Saarbrücken: Max-Planck-Institut für Informatik.