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]
@article{CepekK11, title = {Disjoint essential sets of implicates of a CQ Horn function}, author = {Ondrej Cepek and Petr Kucera}, year = {2011}, doi = {10.1007/s10472-011-9263-9}, url = {http://dx.doi.org/10.1007/s10472-011-9263-9}, researchr = {https://researchr.org/publication/CepekK11}, cites = {0}, citedby = {0}, journal = {Annals of Mathematics and Artificial Intelligence}, volume = {61}, number = {3}, pages = {231-244}, }