A. Walendziak, “On Pre-Hilbert and Positive Implicative Pre-Hilbert Algebras”, B Sect Log, vol. 53, no. 3, pp. 345–364, May 2024.