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.