TY  - DATA
AU  - J.R. Büchi
AU  -  D. Siefkes
AU  -  D. Siefkes
AU  -  G.H. Müller
TI  - Decidable Theories
T2  - Lecture Notes in Mathematics
SN  - 9783540469469
PY  - 1973///
CY  - Heidelberg
PB  - Springer Berlin
KW  - Mathematics and Statistics
UR  - https://doi.org/10.1007/BFb0082720
ER  -