Christopher Umans. The Minimum Equivalent DNF Problem and Shortest Implicants. J. Comput. Syst. Sci., 63(4):597-611, 2001. [doi]
@article{Umans01,
title = {The Minimum Equivalent DNF Problem and Shortest Implicants},
author = {Christopher Umans},
year = {2001},
doi = {10.1006/jcss.2001.1775},
url = {http://dx.doi.org/10.1006/jcss.2001.1775},
researchr = {https://researchr.org/publication/Umans01},
cites = {0},
citedby = {0},
journal = {J. Comput. Syst. Sci.},
volume = {63},
number = {4},
pages = {597-611},
}