TY - BOOK ID - 138114589 TI - Term rewriting systems : from Church-Rosser to Knuth-Bendix and beyond. PY - 1990 PB - Amsterdam Centrum voor Wiskunde en Informatica DB - UniCat UR - https://www.unicat.be/uniCat?func=search&query=sysid:138114589 AB - ER -