Klop, Jan Willem; van Oostrom, Vincent; van Raamsdonk, Femke Reduction strategies and acyclicity. (English) Zbl 1186.68237 Comon-Lundh, Hubert (ed.) et al., Rewriting, computation and proof. Essays dedicated to Jean-Pierre Jouannaud on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-540-73146-7/pbk). Lecture Notes in Computer Science 4600, 89-112 (2007). MSC: 68Q42 PDFBibTeX XMLCite \textit{J. W. Klop} et al., Lect. Notes Comput. Sci. 4600, 89--112 (2007; Zbl 1186.68237) Full Text: DOI
Klop, Jan Willem; van Oostrom, Vincent; van Raamsdonk, Femke Combinatory reduction systems: Introduction and survey. (English) Zbl 0796.03024 Theor. Comput. Sci. 121, No. 1-2, 279-308 (1993). Reviewer: R.David (Chambéry) MSC: 03B40 68Q42 PDFBibTeX XMLCite \textit{J. W. Klop} et al., Theor. Comput. Sci. 121, No. 1--2, 279--308 (1993; Zbl 0796.03024) Full Text: DOI Link