The ∀∃ theory of D(�, ∨, ′ ) is undecidable (2006)

by Richard A Shore, Theodore A Slaman
Venue:In Logic Colloquium ’03