TY - CONF T1 - On the word problem for free lattices JO - REWRITING TECHNIQUES AND APPLICATIONS PY - 1997/01/01 AU - Struth G ED - Comon H VL - 1232 SP - 128 EP - 141 Y2 - 2024/12/25 ER -