A Sharp Bézout Domain is an Elementary Divisor Ring - Zabavskii, B. V. (Ukrains’kyi Matematychnyi Zhurnal, 2014)
We prove that a sharp Bézout domain is an elementary divisor ring.