The ∀∃-theory of R(≤, ∨, ∧) is undecidable (2004)

by Russell G. Miller, Andre O. Nies, Richard A. Shore
Venue:TRANS. AMER. MATH. SOC