Classification of $AEA$ formulas by letter atoms

[1]  A S Kahr,et al.  ENTSCHEIDUNGSPROBLEM REDUCED TO THE AEA CASE. , 1962, Proceedings of the National Academy of Sciences of the United States of America.