The lamplighter group ℤ3 wr ℤ generated by a bireversible automaton. - I. Bondarenko; Daniele D'Angeli; Emanuele Rodaro (CoRR, 2015)