1. The trailing terms ideal;Ben Amor;J. Algebra Appl.,2021
2. Foundations of Constructive Analysis;Bishop,1967
3. Projective modules over some non-Noetherian polynomial rings;Brewer;J. Pure Appl. Algebra,1978
4. Krull and valuative dimension of the Serre conjecture ring R〈n〉;Cahen;Lect. Notes Pure Appl. Math.,1997
5. Modules over Non-Noetherian Domains;Fuchs,2001