Xavier Caicedo Definability properties and the congruence closure. 231-240 1990 30 Arch. Math. Log. 4 https://doi.org/10.1007/BF01792985 db/journals/aml/aml30.html#Caicedo90