Higher-order algebra, logic and term rewriting - Dowek, Guilles; Heering, Jan; Meinke, Karl; Möller, Bernhard (Lecture notes in computer science ;, 1996)