Krishna Rao, M. R. K. (1996). Some characteristics of strong innermost normalization. In M., Wirsing, & M., Nivat (Eds.), Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96 (pp. 406-420). Berlin, Germany: Springer.