Hanus, Michael Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-94-246.pdf (Any fulltext), 215KB
Hanus, M.(1994). On extra variables in (Equational) logic programming (MPI-I-94-246). Saarbrücken: Max-Planck-Institut für Informatik.