TY  - RPRT
TI  - On the consistency problem for modular lattices and related structures
AU  - Christian Herrmann
AU  - Yasuyuki Tsukamoto
AU  - Martin Ziegler
PY  - 2016
UR  - https://arxiv.org/abs/1607.03315
ID  - 1607.03315
ER  -