TY  - JOUR
AU  - Ruitenburg, Wim
TI  - Constructions of finitely generated submodules of constructively noetherian modules
JO  - Compositio Mathematica
PY  - 1987
SP  - 47
EP  - 52
VL  - 62
IS  - 1
PB  - Martinus Nijhoff Publishers
UR  - http://www.numdam.org/item/CM_1987__62_1_47_0/
LA  - en
ID  - CM_1987__62_1_47_0
ER  -