TY - BOOK ID - 135241696 TI - A geometric proof of confluence by decreasing diagrams AU - Klop, J. W. AU - van Oostrom, V. AU - de Vrijer, Roel PY - 2000 PB - Amsterdam Centrum voor Wiskunde en Informatica DB - UniCat UR - https://www.unicat.be/uniCat?func=search&query=sysid:135241696 AB - ER -