Статья

Gregory, Lorna.
Decidability for theories of modules over valuation domains / L. Gregory // The Journal of Symbolic Logic. – 2015. – Vol.80, № 2. – P. 684-711.