The AE theory of D(≤, ∨, ′ ) is undecidable (2003)

by R A Shore, T A Slaman
Venue:In Proceedings of Logic Colloquium