Hanus, Michael Programming Logics, MPI for Informatics, Max Planck Society;
1-s2.0-074310669400105F-main.pdf (Publisher version), 3MB
Hanus, M. (1995). Analysis of Residuating Logic Programs. Journal of Logic Programming, 24(3), 219-245. doi:10.1016/0743-1066(94)00105-F.