Leary et Minasyan ont introduit un groupe a courbure negative ou nulle (CAT(0)) dans l'esprit des groupes de Baumslag Solitar, et qui n'est pas bi-automatique.
