Hanus, Michael Programming Logics, MPI for Informatics, Max Planck Society;
Hanus, M. (1995). Analysis of Residuating Logic Programs. Journal of Logic Programming, 24(3), 219-245.