The preservation of Sahlqvist equations in completions of Boolean algebras with operators - Givant, Steven R. 1943-; Venema, Yde 1963- (Inst. for Logic, Language and Computation, Univ., 1998)