@book{OPUS4-23506,
  title     = {Higher order algebra, logic, and term rewriting: second international workshop, HOA '95, Paderborn, Germany, September 21 - 22, 1995; selected papers},
  editor    = {Gilles Dowek and Jan Heering and Karl Meinke and Bernhard M{\"o}ller},
  isbn      = {978-3-540-61254-4},
  doi       = {10.1007/3-540-61254-8},
  year      = {1996},
}