C. Mccrosky;Yuke Wang
-;-
Solving Boolean Equations Using ROSOP Forms
IEEE Transactions on Computers