The second International Workshop on Higher-Order Rewriting

HOR 2004
June 2, 2004, Aachen, Germany


Accepted Abstracts