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.

@article{LewisG73,
  title = {The Decision Problem for Formulas with a Small Number of Atomic Subformulas},
  author = {Harry R. Lewis and Warren D. Goldfarb},
  year = {1973},
  researchr = {https://researchr.org/publication/LewisG73},
  cites = {0},
  citedby = {0},
  journal = {Journal of Symbolic Logic},
  volume = {38},
  number = {3},
  pages = {471-480},
}