Hanus, Michael Programming Logics, MPI for Informatics, Max Planck Society;
Hanus, M. (1992). Logic Programming with Type Specifications. In F. Pfenning (Ed.), Types in Logic Programming (pp. 91-140). Cambridge, USA: MIT Press.