,
Kluwer
Studia Logica

de Rijke, M., & Venema, Y. (1995). Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras. Studia Logica, (1), 61–78.