Uniform interpolation and compact congruences
scientific article