Prather, 1960. Computational Aids for Determining the Minimal Form of a Truth Function.. https://doi.org/10.1145/321043.321044