Factorable congruences and strict refinement. Iskander, A.A. (1996) Acta Mathematica Universitatis Comenianae. New Series