Struth, Georg Programming Logics, MPI for Informatics, Max Planck Society;
Struth, G. (1997). On the Word Problem for Free Lattices. In H. Comon (Ed.), Proceedings of the 8th International Conference on Rewriting Techniques and Applications (RTA-97) (pp. 128-141). Berlin, Germany: Springer.