Decidable singular theories of two successor functions with an extra predicate - L. P. Lisovik (Изд-во НАН РА)
Keywords: Mathematics