1. Unbounded fan-in circuits and associative functions;Chandra,1983
2. Constant depth reducibility;Chandra,1982
3. Cardinalities Definable by Constant Depth Polynomial Size Circuits;Denenberg,1983
4. An application of games to the completeness problem for formalized theories;Ehrenfeucht;Fund. Math.,1960
5. Decidability of the elementary theory of distributive lattice with relative complements and the theory of filters;Ershov;Algebra and Logic,1964