Burmeister, Peter. "ConImp: Ein Programm zur Formalen Begriffsanalyse." Paper presented at the meeting of the Begriffliche Wissensverarbeitung: Methoden und Anwendungen, Heidelberg, 2000.