TY  - BOOK
AU  - Dowek G. (et-al)(eds)
TI  - Higher-order algebra, logic, and term rewriting: Lecture notes incomputer science : Papers
SN  - 0003540612548
U1  - 004 
PB  - Springer: Tokyo
KW  - computer science : algebra :
ER  -