The inherent computational complexity of theories of ordered sets (1974)

by A R Meyer
Venue:In: Proc. Int. Congress of Mathematicians