TY - RPRT TI - Avoidability of formulas with two variables AU - Pascal Ochem AU - Matthieu Rosenfeld PY - 2016 UR - https://arxiv.org/abs/1606.03955 ID - 1606.03955 ER -