B. Gramlich: "Progress Report on Term Rewriting"; Talk: Annual Meeting of the IFIP-WG 1.6 - Term Rewriting, Valencia, Spain (invited); 2003-06-12.