@TechReport{HOR04,
  author =       "Delia Kesner and Femke {van Raamsdonk} and Joe Wells
  (eds.)",
  title =        "HOR 2004 2nd International Workshop on Higher-Order
  Rewriting",
  institution =  "RWTH Aachen",
  year =         "2004",
  number =       "AIB-2004-03",
  month =        jun,
  url =          "http://aib.informatik.rwth-aachen.de/2004/2004-03.ps.gz",
}