1. Abott, J.C.: Implicational algebras. Bulletin mathématique de la Société des Sciences Mathématiques de la République Socialiste de Roumanie 11 (59)(1), 3–23 (1967). http://www.jstor.org/stable/43679502
2. Diego, A.: Sobre álgebras de Hilbert. Notas de lógica matemática, Instituto de Matemática, Universidad Nacional del Sur (1965). https://books.google.co.uk/books?id=AfcSAQAAMAAJ
3. Evans, T.: Embeddability and the word problem. J. Lond. Math. Soc. 1(1), 76–80 (1953)
4. Galatos, N., Jipsen, P.: The structure of generalized bi-algebras and weakening relation algebras. Algebra Universalis 81(3), 1–35 (2020)
5. Lecture Notes in Computer Science;N Galatos,2020