Reducibilities among equivalence relations induced by recursively enumerable structures - Gavryushkin A. (Elsevier, 2020)
10.1016/j.tcs.2015.11.042