Ralph Freese Jaroslav Jezek James B. Nation Term Rewrite Systems for Lattice Theory. 279-288 1993 16 J. Symb. Comput. 3 db/journals/jsc/jsc16.html#FreeseJN93