Oostrom V.van Weak orthogonality implies confluence:the higher-order case / V.van Oostrom,F.van Raamsdonk, 1995. - 39 p. - Текст : непосредственный.
Oostrom V.van Comparing combinatory reduction systems and higher-order rewrite systems / V.van Oostrom,F.van Raamsdonk, 1993. - 30 p. - Текст : непосредственный.
Klop J.W. Combinatory reduction systems:introduction and survey / J.W.Klop,V.van Oostrom,F.van Raamsdonk, 1993. - 26 p. - Текст : непосредственный.
Raamsdonk F.van On normalisation / F.van Raamsdonk,P.Severi, 1995. - 33 p. - Текст : непосредственный.
Raamsdonk F.van A simple proof of confluence for weakly orthogonal combinatory reduction systems / F.van Raamsdonk, 1992. - 23 p. - Текст : непосредственный.
Raamsdonk F.van Translating logic programs into conditional rewriting systems / F.vanRaamsdonk, 1998. - 21 p. - Текст : непосредственный.