Decidable Theories of the Ordering of Natural Numbers with Unary Predicates.

Alexander Moshe Rabinovich, Wolfgang Thomas

Browse the full CSL paper archive.