Decidable theories of the ordering of natural numbers with unary predicates (0)

by A Rabinovich, W Thomas
Venue:Computer Science Logic, 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL