Title: Combinational circuit design verification using SETS
First published: 1978
Subjects: Algebra, Boolean, Boolean Algebra, Combinatorial set theory