Comment on Lawler's Multilevel Boolean Minimization
CACM April, 1970
DeVries, R. C.
