1. Satisfiability of algebraic circuits over sets of natural numbers;Glaßer;Discrete Appl. Math.,2010
2. T. Skolem, Über gewisse Satzfunktionen in der Arithmetik, Skr. Norske Videnskaps-Akademie i Oslo.
3. On direct products of theories;Mostowski;J. Symbolic Logic,1952
4. Über die Vollständigkeit eines gewissen Systems der Arithmetik ganzer Zahlen, in welchem die Addition als einzige Operation hervortritt;Presburger,1929
5. A Survey of Arithmetical Definability;Bès,2002