1. Balbes, R., and Ph. Dwinger, Distributive Lattices, University of Missouri Press, Columbia, Mo., 1974.
2. Belardinelli, F., P. Jipsen, and H. Ono, Algebraic aspects of cut elimination, Studia Logica 77(2):209–240, 2004.
3. Bezhanishvili, G., J. Harding, J. Ilin, and F. M. Lauridsen, MacNeille transferability and stable classes of Heyting algebras, Algebra Universalis 79:55, 2018.
4. Bezhanishvili, N., Lattices of Intermediate and Cylindric Modal Logics, Ph.D. Thesis, University of Amsterdam, 2006.
5. Blackburn, P., M. de Rijke, and Y. Venema, Modal Logic, vol. 53 of Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, Cambridge, 2001.