Hanus, Michael Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-94-201.pdf (beliebiger Volltext), 250KB
Hanus, M.(1994). The integration of functions into logic programming: a survey (MPI-I-94-201). Saarbrücken: Max-Planck-Institut für Informatik.