TY - RPRT TI - Avoidance bases for formulas with reversal AU - James Currie AU - Lucas Mol AU - Narad Rampersad PY - 2018 UR - https://arxiv.org/abs/1711.08025 ID - 1711.08025 ER -