1. Edward W. Samson, Burton E. Mills, Circuit minimization: algebra and algorithms for new Boolean canonical expressions, Tech. Rep. 54–21, Communications Laboratory, Electronics Research Directorate, Air Force Cambridge Research Center, Cambridge, Mass., 1954, 54–MR0073454
2. Simplest normal truth functions
3. On simplifying truth-functional formulas