Higher order algebra, logic, and term rewriting first International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993 ; selected papers (Springer, 1994)