Krishna Rao, M. R. K. Programming Logics, MPI for Informatics, Max Planck Society;
https://rdcu.be/dxDzI (Publisher version)
Krishna Rao, M. R. K. (1995). Graph Reducibility of Term Rewriting Systems. In J. Wiedermann, & P. Hájek (Eds.), Mathematical Foundations of Computer Science 1995 (pp. 371-381). Berlin, Germany: Springer.