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. Existential interpretation II;Gurevich;Arch. Math. Logik Grundlag,1982
4. Mathematical Logic;Shoenfield,1967