TY  - BOOK
A2  - Dowek, Gilles
A2  - Heering, Jan
A2  - Meinke, Karl
A2  - Möller, Bernhard
T1  - Higher order algebra, logic, and term rewriting: second international workshop, HOA '95, Paderborn, Germany, September 21 - 22, 1995; selected papers
Y1  - 1996
UR  - https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/23506
SN  - 978-3-540-61254-4
PB  - Springer
CY  - Berlin [u.a.]
ER  -