Authors: ADAMS ME FREESE R NATION JB SCHMID J

Citation: Me. Adams et al., MAXIMAL SUBLATTICES AND FRATTINI SUBLATTICES OF BOUNDED LATTICES, Journal of the Australian Mathematical Society. Series A. Pure mathematics and statistics, 63, 1997, pp. 110-127

Authors: FREESE R JEZEK J NATION JB

Citation: R. Freese et al., TERM REWRITE SYSTEMS FOR LATTICE THEORY, Journal of symbolic computation, 16(3), 1993, pp. 279-288