%0 Journal Article
%A Wolfgang Thomas
%T The Theory of Successor with an Extra Predicate.
%J Mathematische Annalen
%D 1978
%P 121-132
%V 237
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAN_1978__237_182780/
%F MAN_1978__237_182780