@book{JipsenRose,
  author = {Jipsen, Peter and Rose, Henry},
  interhash = {3c059c795ea222bef82aeadbbc53f521},
  intrahash = {9cd44e2dd953968e165fae99cce3f454},
  publisher = {Springer-Verlag},
  title = {Varieties of Lattices},
  year = 1992
}

@article{WilleGer,
  author = {Wille, Rudolf},
  interhash = {46ac7de1dc6e14712068cdbd877528dc},
  intrahash = {36d1027abe1cb91e6849597624d8b3da},
  journal = {J. reine angew. Math.},
  pages = {53--70},
  title = {Subdirekte {P}rodukte voll\-st\"an\-diger {V}erb\"ande},
  volume = {283/284},
  year = 1976
}

@book{GanterWille,
  address = {Berlin/Heidelberg},
  author = {Ganter, Bernhard and Wille, Rudolf},
  interhash = {1b0bf49069eadcdfac42e52addf4eb9d},
  intrahash = {ae14b00b5489de8da6e4578ac3062bfc},
  publisher = {Springer-Verlag},
  title = {Formal Concept Analysis: Mathematical Foundations},
  year = 1999
}

@incollection{Birkhoff,
  author = {Birkhoff, Garrett},
  booktitle = {Colloquium Publications},
  edition = {3.},
  interhash = {155513001f337274bb35db352a6a3a02},
  intrahash = {fefe3c5111aaf07bd2d39c7d6b67f87a},
  publisher = {Amer. Math. Soc.},
  title = {Lattice theory},
  volume = 25,
  year = 1967
}

@article{Duq,
  address = {Amsterdam, The Netherlands, The Netherlands},
  author = {Duquenne, Vincent},
  doi = {http://dx.doi.org/10.1016/0012-365X(91)90043-2},
  interhash = {3fcc87180a838828f74fd82d7b6ac209},
  intrahash = {6c41ab93d9468e2b180b0d1a189c2cb8},
  issn = {0012-365X},
  journal = {Discrete Math.},
  number = {2-3},
  pages = {133--147},
  publisher = {Elsevier Science Publishers B. V.},
  title = {The core of finite lattices},
  volume = 87,
  year = 1991
}