Formal Concept Analysis and Resolution in Algebraic Domains

Pascal Hitzler Matthias Wendt Formal Concept Analysis and Resolution in Algebraic Domains http://arxiv.org/abs/cs.LO/0301008 2003 CoRR cs.LO/0301008 db/journals/corr/corr0301.html#cs-LO-0301008 informal publication