Effective categoricity of equivalence structures - Calvert, Wesley; Cenzer, Douglas; Harizanov, Valentina; Morozov, Andrei (Annals of Pure & Applied Logic, 2006)