Duquenne, V. (1991). The core of finite lattices.
Discrete Math.
, 87, 133--147. doi: http://dx.doi.org/10.1016/0012-365X(91)90043-2