"An algebraic approach to subframe logics. Intuitionistic case."

Guram Bezhanishvili, Silvio Ghilardi (2007)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics