Decidability of modules over a Bézout domain \(D+XQ[X]\) with \(D\) a principal ideal domain and \(Q\) its field of fractions
scientific article; zbMATH DE number 6349662
scientific article