Cricuit minimization algebra and algorithms for new boolean canonical expressions - Samson E W; Mills B E (Mass Air Force Cambridge Research Centre, 1954)
Keywords: Algorithms; Boolean algebra