Krishna Rao, M. R. K. Programming Logics, MPI for Informatics, Max Planck Society;
1-s2.0-0304397595000758-main.pdf (Verlagsversion), 2MB
Krishna Rao, M. R. K. (1995). Modular Proofs for Completeness of Hierarchical Term Rewriting Systems. Theoretical computer science, 151(2), 487-512. doi:10.1016/0304-3975(95)00075-8.