Sánchez Terraf Pedro: Existentially definable factor congruences. In: Acta scientiarum mathematicarum, (76) 1-2. pp. 49-53. (2010)