TY - RPRT TI - Yet Another Single Law for Lattices AU - William McCune AU - Ranganathan Padmanabhan AU - Robert Veroff PY - 2003 UR - https://arxiv.org/abs/math/0307284 ID - math/0307284 ER -