TY - RPRT TI - Avoidability of circular formulas AU - Guilhem Gamard AU - Pascal Ochem AU - Gwenaël Richomme AU - Patrice Séébold PY - 2016 UR - https://arxiv.org/abs/1610.04439 ID - 1610.04439 ER -