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 1992 Joint International Conference and Symposium on Logic Programming (pp. 192-206). Cambridge, USA: MIT Press.