Effective computation of strong Gröbner bases over Euclidean domains