TY  - RPRT
TI  - Congruence lifting of diagrams of finite Boolean semilattices requires large congruence varieties
AU  - Friedrich Wehrung
AU  - Jiri Tuma
PY  - 2004
UR  - https://arxiv.org/abs/math/0410576
ID  - math/0410576
ER  -