A simple proof of confluence for weakly orthogonal combinatory reduction systems / F. van RaamsdonkOn normalisation / F. van Raamsdonk, P. SeveriConfluence and normalisation for higher-order rewriting / Femke van RaamsdonkTranslating logic programs into conditional rewriting systems / F. van Raamsdonk
author
Combinatory reduction systems : introduction and survey / J.W. Klop, V. van Oostrom, F. van RaamsdonkComparing combinatory reduction systems and higher-order rewrite systems / V. van Oostrom, F. van RaamsdonkComparing combinatory reduction systems and higher-order rewrite systems / V. van Oostrom, F. van RaamsdonkCombinatory reduction systems : introduction and survey / J.W. Klop, V. van Oostrom, F. van RaamsdonkWeak orthogonality implies confluence: the higher-order case / V. van Oostrom, F. van Raamsdonk