Graphs realised by r.e. equivalence relations - Gavruskin, A. (2014)
10.1016/j.apal.2014.04.001