Higher order algebra, logic, and term rewriting second international workshop, HOA '95, Paderborn, Germany, September 21 - 22, 1995 ; selected papers (Springer, 1996)
WST: Higher-order algebra, logic, and term rewriting