A book on term rewriting systems written by a writer's collective:

Terese
Term Rewriting Systems
Cambridge Tracts in Theoretical Computer Science, Volume 55, Cambridge University Press, 2003.

• Examples of higher-order rewriting systems
  
  
• Femke van Raamsdonk
  On Termination of Higher-Order Rewriting
  In: A. Middeldorp, editor, Proceedings of the 12th International Conference on Rewriting Techniques and Applications (RTA '01), Utrecht, The Netherlands, May 2001, pp. 261--275.
  Copyright Springer Verlag.
  abstract
  postscript
  postscript long version
  
  
  
• Gilles Barthe and Femke van Raamsdonk
  Constructor subtyping in the Calculus of Inductive Constructions
  In the proceedings of FOSSACS 2000.
  abstract
  postscript
  
  
• Sandro Etalle and Femke van Raamsdonk
  Logic Programming with Requests
  Proceedings of the 1999 International Conference on Logic Programming (ICLP '99), Las Cruces, USA, December 1999, pp. 558 - 572, MIT Press.
  abstract
  postscript
  
  
• Femke van Raamsdonk
  Higher-Order Rewriting
  Proceedings of the 10th International Conference on Rewriting Techniques and Applications (RTA '99), Trento, Italy, July 1999, pp. 220 - 239, LNCS 1631.
  Copyright Springer Verlag.
  abstract
  postscript
  
  
• Femke van Raamsdonk, Paula Severi, Morten Heine Sørensen and Hongwei Xi
  Perpetual Reductions in Lambda Calculus
  Information and Computation 149(2):173--225, March 1999.
  abstract
  postscript
  
  
• Femke van Raamsdonk and Paula Severi
  On Normalisation
  CWI technical report CS-R9545
  (this is the report behind Perpetual Reductions in Lambda Calculus)
  abstract
  postscript
  
  
• Sandro Etalle and Femke van Raamsdonk
  Beyond Success and Failure
  Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming (JICSLP '98), Manchester, UK, June 1998, pp. 190 - 204, MIT Press.
  abstract
  postscript
  
  
• Gilles Barthe and Femke van Raamsdonk
  Termination of Algebraic Type Systems: the Syntactic Approach
  Proceedings of the 6th International Joint Conference ALP '97 - HOA '97, Southampton, UK, September 1997, pp. 174 - 193, LNCS 1298.
  abstract
  postscript
  
  
• Femke van Raamsdonk
  Translating Logic Programs into Conditional Rewriting Systems
  Proceedings of the 14th International Conference on Logic Programming (ICLP '97), Leuven, Belgium, July 1997, pp. 168 - 182, MIT Press.
  abstract
  postscript
  report
  
  
• Femke van Raamsdonk
  Outermost-Fair Rewriting
  Proceedings of the 3rd International Conference on Typed Lambda Calculi and Applications (TLCA '97), Nancy, France, April 1997, pp. 284 - 299, LNCS 1210.
  abstract
  postscript