Author: Logic, and Term Rewriting (2nd : 1995 : Paderborn, Germany) International Workshop on Higher-Order Algebra