@book{rudolph2006relational,
  author = {Rudolph, Sebastian},
  interhash = {0be5bbeb2ccc1cbfd7f01da547e5828f},
  intrahash = {c8997feee8bc42f09e057f9be7eb5f92},
  month = DEC,
  note = {Dissertation},
  publisher = {Universitätsverlag Karlsruhe},
  title = {Relational Exploration - Combining Description Logics and Formal Concept Analysis for Knowledge Specification},
  url = {\url{http://hsss.slub-dresden.de/documents/1172682174599-1228/1172682174599-1228.pdf}},
  year = 2006
}

@inproceedings{baader95computing,
  address = {Santa Cruz, USA},
  author = {Baader, Franz},
  booktitle = {Proceedings of the International Symposium on Knowledge Retrieval, Use, and Storage for Efficiency, {KRUSE} 95},
  interhash = {5e293c4c3ef56d37a85ef222c14be3d6},
  intrahash = {5b19d5b4c170ca819c25d4e4e3379fa8},
  pages = {168--178},
  title = {Computing a Minimal Representation of the Subsumption Lattice of all Conjunctions of Concepts Defined in a Terminology},
  url = {citeseer.ist.psu.edu/baader95computing.html},
  year = 1995
}