Lermanand Shore. Decidability and Invariant Classes for Degree Structures. American Mathematical Society (AMS), Feb. 1988, doi:10.1090/s0002-9947-1988-0973174-0.