Disjoint essential sets of implicates of a CQ Horn function

Ondrej Cepek, Petr Kucera. Disjoint essential sets of implicates of a CQ Horn function. Annals of Mathematics and Artificial Intelligence, 61(3):231-244, 2011. [doi]

Abstract

Abstract is missing.