Valentina S. Harizanov Some Effects of Ash-Nerode and Other Decidability Conditions on Degree Spectra. 51-65 1991 55 Ann. Pure Appl. Logic 1 db/journals/apal/apal55.html#Harizanov91a