Hanus, Michael Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-93-222.pdf (Any fulltext), 115KB
Hanus, M., & Josephs, B.(1993). A debugging model for functional logic programs (MPI-I-93-222). Saarbrücken: Max-Planck-Institut für Informatik.