Duquenne, V. (1991), 'The core of finite lattices', Discrete Math. 87 (2-3), 133--147.