The Inherent Computational Complexity of Theories of Ordered Sets (1974)

by M Albert R Meyer
Venue:in Proc. 1974 Intl. Cong. of Mathematicians