TY - RPRT TI - Proatomic modular ortholattices: Representation and equational theory AU - Christian Herrmann AU - Michael S. Roddy PY - 2015 UR - https://arxiv.org/abs/1501.02477 ID - 1501.02477 ER -