Ganter, Bernhard and Kuznetsov, Sergei O.. "Formalizing Hypotheses with Concepts." Paper presented at the meeting of the ICCS, 2000.