TY - RPRT TI - A simultaneous representation of a group and a bounded poset with lattice automorphisms and principal congruences AU - Gábor Czédli PY - 2015 UR - https://arxiv.org/abs/1508.04302 ID - 1508.04302 ER -