2-dimensional Coxeter groups are biautomatic - Zachary Munro; Damian Osajda; Piotr Przytycki (2020)