Ochem, P.; Rosenfeld, M. Avoidability of Formulas With Two Variables. Electron. J. Combin. 2017, 24, P4.30.