Krishna Rao, M. R. K. Programming Logics, MPI for Informatics, Max Planck Society;
Shyamasundar, R. K. Programming Logics, MPI for Informatics, Max Planck Society;
https://rdcu.be/dxDNz (Publisher version)
Krishna Rao, M. R. K., & Shyamasundar, R. K. (1995). Unification‐free Execution of Well‐moded Prolog Programs. In A. Mycroft (Ed.), Static Analysis (pp. 243-260). Berlin: Springer.