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