~ tracking down this book ~
A Decomposition Method for Simplifying Propositional Functions by Charles C. Pinter — OmList