A decision algorithm for linear sentences on a PFM
finitely generated module over principal ideal domain
symbolic computation problem for linear systems
scientific article; zbMATH DE number 416878
scientific article