AFCRC technical report. 54-21. Circuit minimization: Algebra and algorithms for new Boolean canonical expressions [with list of references; by] Edward W. Samson and Burton E. Mills.

Tools