Endre Boros, Ondrej Cepek, Petr Kucera. A decomposition method for CNF minimality proofs. Theoretical Computer Science, 510:111-126, 2013. [doi]
@article{BorosCK13, title = {A decomposition method for CNF minimality proofs}, author = {Endre Boros and Ondrej Cepek and Petr Kucera}, year = {2013}, doi = {10.1016/j.tcs.2013.09.016}, url = {http://dx.doi.org/10.1016/j.tcs.2013.09.016}, researchr = {https://researchr.org/publication/BorosCK13}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {510}, pages = {111-126}, }