TY - CONF T1 - On the word problem for free lattices JO - REWRITING TECHNIQUES AND APPLICATIONS PY - 2005/06/02 AU - Struth G ED - Comon H VL - 1232 SP - 128 EP - 141 Y2 - 2025/12/03 ER -