TY - BOOK ID - 127759745 TI - Term rewriting systems. AU - Klop, Jan Willem AU - De Vrijer, Roelof Cornelis (Roel) PY - 1990 PB - S.l. : s.n., DB - UniCat UR - https://www.unicat.be/uniCat?func=search&query=sysid:127759745 AB - ER -