Krishna Rao, M. R. K. Programming Logics, MPI for Informatics, Max Planck Society;
Krishna Rao, M. R. K. (1996). Completeness results for basic narrowing in non-copying implementations. In M. Maher (Ed.), Logic Programming (pp. 393-407). Cambridge, USA: MIT Press.