1. Barwise, J., “Back and forth through infinitary logic,” pp. 5–34 in Studies in Model Theory, edited by M. Morley, Studies in Mathematics 8, Mathematical Association of America, Washington, D.C., 1973. MR 49:7116
2. Bloom, S. L., “Some Theorems on Structural Consequence Operations,” Studia Logica, vol. 34 (1975), pp. 1–9. Zbl 0311.02016 MR 53:2675
3. Blok, W., and D. Pigozzi, “Protoalgebraic Logics,” Studia Logica, vol. 45 (1986), pp. 337–369. Zbl 0622.03020 MR 88e:03045
4. Blok, W., and D. Pigozzi, “Algebraizable logics,” Memoirs of the American Mathematical Society, vol. 1 (1989), p. 396. Zbl 0664.03042 MR 90d:03140
5. Blok, W., and D. Pigozzi, “Algebraic Semantics for Universal Horn Logic without Equality,” in Universal Algebra and Quasigroups, edited by A. Romanowska and J. D. H. Smith, Heldermann Verlag, Berlin, 1992. Zbl 0768.03008 MR 94g:03021