1. Beth, E. W.,On Podoa’s method in the theory of definition. Nederl. Akad. Wetensch. Proc. Ser. [A],56 (1953), 330–339.
2. Comer, S. D.,Some representation theorems and the amalgamation property in algebraic logic, Doctoral dissertation, University of Colorado, Boulder, 1967, vii +92 pp.
3. Comer, S. D.,Galois theory and the amalgamation property in finite dimensional cylindric algebras, Preliminary report. Notices Amer. Math. Soc.15 (1968), 103.
4. Comer, S. D.,Classes without the amalgamation property. Pacific J. Math.28 (1969), 309–318.
5. Craig, W.,Linear reasoning. A new form of the Herbrand-Gentzen theorem. J. Symbolic Logic22 (1957), 250–268.