Reduction of matrices over simple Ore domains
scientific article; zbMATH DE number 7491082