MacNeille completions and canonical extensions - Gehrke, Mai; Harding, John; Venema, Yde (Inst. for Logic, Language and Computation, 2004)