Kennaway, J. R.; Klop, J. W.; Sleep, M. R.; de Vries, F. J. Transfinite reductions in orthogonal term rewriting systems (extended abstract). (English) Zbl 1502.68151 Book, Ronald V. (ed.), Rewriting techniques and applications. 4th international conference, RTA-91, Como, Italy, April 10–12, 1991. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 488, 1-12 (1991). MSC: 68Q42 PDFBibTeX XMLCite \textit{J. R. Kennaway} et al., Lect. Notes Comput. Sci. 488, 1--12 (1991; Zbl 1502.68151) Full Text: DOI
Barendregt, H. P.; Kennaway, J. R.; Klop, J. W.; Sleep, M. R. Needed reduction and spine strategies for the lambda calculus. (English) Zbl 0635.03009 Inf. Comput. 75, 191-231 (1987). MSC: 03B40 68N01 PDFBibTeX XMLCite \textit{H. P. Barendregt} et al., Inf. Comput. 75, 191--231 (1987; Zbl 0635.03009) Full Text: DOI Link