Decidability and invariant classes for degree structures (1988)

by M Lerman, R A Shore
Venue:Transactions of the American Mathematical Society