J. W. Klop

• Combinatory reduction systems
• Term rewriting systems