Saturation of Finitely-Generated Submodules of Free Modules over Prüfer Domains. Armen.J.Math. 2021, 13 (1).