TY  - BOOK
AU  - Heering Jan
ED  - International Workshop on Higher Order Algebra Logic, adn Term Rewriting( 1st : 1993 : Amsterdam )
ED  - International Workshop on Higher Order Algebra Logic, adn Term Rewriting 1st
TI  - Higher order algebra logic, adn term rewriting : proceedings
U1  - 5.115 
PY  - 1994///
CY  - Berlin
PB  - Springer Verlag
KW  - Algebra
KW  - Logic programming
KW  - Term rewriting
ER  -