Algorithmic verification of quasi-isometry of some HNN-extensions of Abelian groups. Maslakova, O.S. — 2003 Sibirskij Matematicheskij Zhurnal