TY - RPRT TI - Universal covers, color refinement, and two-variable counting logic: Lower bounds for the depth AU - Andreas Krebs AU - Oleg Verbitsky PY - 2015 UR - https://arxiv.org/abs/1407.3175 ID - 1407.3175 ER -