Ronald E. Prather. Computational Aids for Determining the Minimal Form of a Truth Function. Journal of the ACM, 7(4):299-310, 1960. [doi]
@article{Prather60, title = {Computational Aids for Determining the Minimal Form of a Truth Function}, author = {Ronald E. Prather}, year = {1960}, doi = {10.1145/321043.321044}, url = {http://doi.acm.org/10.1145/321043.321044}, tags = {e-science}, researchr = {https://researchr.org/publication/Prather60}, cites = {0}, citedby = {0}, journal = {Journal of the ACM}, volume = {7}, number = {4}, pages = {299-310}, }