A. Walendziak, “Exchange pre-Hilbert algebras and their connections with other algebras of logic”, IJPAM, vol. 53, pp. 200–214, May 2025.