Definition: $M_R$ is finitely generated and its finitely generated submodules are finitely presented.
(No citations retrieved.)
(No metaproperty information retrieved.)