Hanus, Michael Programming Logics, MPI for Informatics, Max Planck Society;
Hanus, M. (1992). On the Completeness of Residuation. In K. Apt (Ed.), Proceedings of the Joint International Conference and Symposium on Logic Programming (JICSLP '92) (pp. 192-206). Cambridge, USA: MIT Press.