Gravar e-mail: Generalized equivalence of matrices over Prüfer domains