@article{CM_1987__62_1_47_0, author = {Ruitenburg, Wim}, title = {Constructions of finitely generated submodules of constructively noetherian modules}, journal = {Compositio Mathematica}, pages = {47--52}, publisher = {Martinus Nijhoff Publishers}, volume = {62}, number = {1}, year = {1987}, mrnumber = {892150}, zbl = {0622.13006}, language = {en}, url = {http://www.numdam.org/item/CM_1987__62_1_47_0/} }