The Decision Problem for Formulas with a Small Number of Atomic Subformulas

Harry R. Lewis, Warren D. Goldfarb. The Decision Problem for Formulas with a Small Number of Atomic Subformulas. Journal of Symbolic Logic, 38(3):471-480, 1973.