1. The decision problem for linear temporal logic;Burgess;Notre Dame J. Formal Logic,1985
2. Sur un théorème de Weierstrass;Carleman;Ark. Mat. Astronom. Fys.,1927
3. Decidability in elementary analysis, I;Friedman;Adv. in Math.,1989
4. Existential interpretation, II;Gurevich;Arch. Math. Logik Grundlag.,1982
5. A Decision Method for Elementary Algebra and Geometry;Tarski,1951