TY - RPRT TI - Row-constrained effective sets of colourings in the $2$-fold horocyclic tessellations of $\mathbb{H}^2$ are sofic AU - Nathalie Aubrun AU - Mathieu Sablik PY - 2016 UR - https://arxiv.org/abs/1602.04061 ID - 1602.04061 ER -