Krishna Rao, M. R. K. Programming Logics, MPI for Informatics, Max Planck Society;
Krishna Rao, M. R. K. (1995). Modular Proofs for Completeness of hierarchical term rewriting systems. Theoretical Computer Science, 151(2), 487-512.