- 1979
- Neil Immerman:
Length of Predicate Calculus Formulas as a New Complexity Measure. FOCS 1979: 337-347 - 1976
- Charles E. Hughes:
A Reduction Class Containing Formulas with one Monadic Predicate and one Binary Function Symbol. J. Symb. Log. 41(1): 45-49 (1976) - Harry R. Lewis:
Krom Formulas with One Dyadic Predicate Letter. J. Symb. Log. 41(2): 341-362 (1976) - 1975
- Jürgen Schulte Mönting:
Interpolation formulae for predicates and terms which carry their own history. Arch. Math. Log. 17(3-4): 159-169 (1975) - 1965
- Kenneth Weston:
On predicate letter formulas which have no substitution instances provable in a first order language. Notre Dame J. Formal Log. 6(4): 296-300 (1965)