Comparing Combinatory Reduction Systems and Higher-order Rewrite Systems. - Vincent van Oostrom; Femke van Raamsdonk (HOA, 1993)

Confluence and Superdevelopments. - Femke van Raamsdonk (RTA, 1993)

Combinatory Reduction Systems: Introduction and Survey. - Jan Willem Klop; Vincent van Oostrom; Femke van Raamsdonk (Theor. Comput. Sci., 1993)

Weak Orthogonality Implies Confluence: The Higher Order Case. - Vincent van Oostrom; Femke van Raamsdonk (LFCS, 1994)

Termination of Algebraic Type Systems: The Syntactic Approach. - Gilles Barthe; Femke van Raamsdonk (ALP/HOA, 1997)

Translating Logic Programs into Conditional Rewriting Systems. - Femke van Raamsdonk (ICLP, 1997)

Outermost-Fair Rewriting. - Femke van Raamsdonk (TLCA, 1997)

Beyond Success and Failure. - Sandro Etalle; Femke van Raamsdonk (IJCSLP, 1998)

Logic Programming with Requests. - Sandro Etalle; Femke van Raamsdonk (ICLP, 1999)

Higher-Order Rewriting. - Femke van Raamsdonk (RTA, 1999)

Perpetual Reductions in Lambda-Calculus. - Femke van Raamsdonk; Paula Severi; Morten Heine Sørensen; Hongwei Xi 001 (Inf. Comput., 1999)

Constructor Subtyping in the Calculus of Inductive Constructions. - Gilles Barthe; Femke van Raamsdonk (FoSSaCS, 2000)

On Termination of Higher-Order Rewriting. - Femke van Raamsdonk (RTA, 2001)

Book Review - Logic in Computer Science: Modelling and Reasoning about Systems by Michael R. A. Huth and Mark D. Ryan, Cambridge University Press, 2000, ISBN 0521652006, (hardback), ISBN 0521656028, (paperback). - Femke van Raamsdonk (Theory Pract. Log. Program., 2001)

Eliminating Proofs from Programs. - Femke van Raamsdonk; Paula Severi (LFM, 2002)

Book review: Advanced Topics in Term Rewriting by Enno Ohlebusch, Springer-Verlag, 2002, hard cover: ISBN 0-387-95250-0. - Femke van Raamsdonk (Theory Pract. Log. Program., 2004)

Reduction Strategies and Acyclicity. - Jan Willem Klop; Vincent van Oostrom; Femke van Raamsdonk (Rewriting, Computation and Proof, 2007)

A Higher-Order Iterative Path Ordering. - Cynthia Kop; Femke van Raamsdonk (LPAR, 2008)

Lambda-Calculus and Combinators, An Introduction, 2nd Edition, J. Roger Hindley and Jonathan P. Seldin, Cambridge University Press, 2008. Hardback, ISBN 9780521898850. - Femke van Raamsdonk (Theory Pract. Log. Program., 2009)

Higher Order Dependency Pairs for Algebraic Functional Systems. - Cynthia Kop; Femke van Raamsdonk (RTA, 2011)

Dynamic Dependency Pairs for Algebraic Functional Systems - Cynthia Kop; Femke van Raamsdonk (Log. Methods Comput. Sci., 2012)