@book{OPUS4-20643,
  title     = {Higher order algebra, logic, and term rewriting: first International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993; selected papers},
  editor    = {Jan Heering and Karl Meinke and Bernhard M{\"o}ller and Tobias Nipkow},
  isbn      = {978-3-540-58233-5},
  doi       = {10.1007/3-540-58233-9},
  year      = {1994},
}