TY - RPRT TI - Effective categoricity of equivalence Structures AU - W. Calvert AU - D. Cenzer AU - V. S. Harizanov AU - A. Morozov PY - 2008 UR - https://arxiv.org/abs/0805.1887 ID - 0805.1887 ER -