Reduction of matrices over Bezout domains of stable range 1 with Dubrovin's condition in which maximal nonprincipal ideals are two-sides - T. Kysil; B. Zabavski; O. Domsha (Algebra and discrete mathematics, 2012)