Krishna Rao, M. R. K. Programming Logics, MPI for Informatics, Max Planck Society;
Krishna Rao, M. R. K. (1995). Graph reducibility of term rewriting systems. In J. Wiedermann, & P. Hájek (Eds.), Proceedings of Mathematical Foundations of Computer Science (pp. 371-381). Berlin, Germany: Springer.