Su Gao Peter Gerdes Computably Enumerable Equivalence Relations. 27-59 2001 67 Studia Logica 1 db/journals/sLogica/sLogica67.html#GaoG01