Theodore M. Booth. The Vertex-Frame Method for Obtaining Minimal Proposition-Letter Formulas. IEEE Transactions on Computers, 11(2):144-154, 1962. [doi]
@article{Booth62,
title = {The Vertex-Frame Method for Obtaining Minimal Proposition-Letter Formulas},
author = {Theodore M. Booth},
year = {1962},
doi = {10.1109/TEC.1962.5219347},
url = {http://dx.doi.org/10.1109/TEC.1962.5219347},
researchr = {https://researchr.org/publication/Booth62},
cites = {0},
citedby = {0},
journal = {IEEE Transactions on Computers},
volume = {11},
number = {2},
pages = {144-154},
}