%0 Journal Article
%A J. R. Büchi
%A St. Senger
%T Coding in the existential theory of concatenation.
%J Archiv für mathematische Logik und Grundlagenforschung
%D 1987
%P 101-108
%V 26
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AMLG_1987__26_138054/
%F AMLG_1987__26_138054