1. Lecture Notes in Artificial Intelligence;P. Becker,2005
2. Burmeiter, P.: Formal Concept Analysis with ConImp: Introduction to the basic features (2003), http://www.mathematik.tu-darmstadt.de/~Burmeister
3. Dau, F., Eklund, P.W.: Towards a diagrammatic reasoning system for Description Logic. Preprint (submitted to Visual Languages and Computing)
4. Duquenne, V.: GLAD: A program for general lattice analysis and design. Preprint (2005)
5. Lecture Notes in Artificial Intelligence;P.W. Eklund,2004