1. [1] Adaricheva, K., and J. B. Nation, “Lattices of quasi-equational theories as congruence lattices of semilattices with operators, I,” International Journal of Algebra and Computation, vol. 22, no. 7(2012), 27 pp. “II,” International Journal of Algebra and Computation, vol. 22, no. 7(2012), 19 pp.
2. [2] Blok, W. J., and D. Pigozzi, “Algebraic semantics for universal Horn logic without equality,” pp. 1–56 in Universal Algebra and Quasigroup Theory (Jadwisin, Poland, 1989), vol. 19 of Research and Exposition in Mathematics, Heldermann, Berlin, 1992.
3. [3] Christie, A., Q. Wang, and S. L. Wismath, “The inflation class operator,” Algebra Universalis, vol. 56 (2007), pp. 107–18.
4. [4] Church, A., Introduction to Mathematical Logic, reprint of the 2nd (1956) edition, Princeton University Press, Princeton, 1996.
5. [5] Czelakowski, J., Protoalgebraic Logics, vol. 10 of Trends in Logic—Studia Logica Library, Kluwer, Dordrecht, 2001.