Hanus, Michael Programming Logics, MPI for Informatics, Max Planck Society;
Hanus, M. (1994). The Integration of Functions into Logic Programming: From Theory to Practice. Journal of Logic Programming, 19 & 20, 583-628.