"Reducibilities among equivalence relations induced by recursively ..."

Alex Gavryushkin, Bakhadyr Khoussainov, Frank Stephan (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics