doi dblp Applications of Zero-Suppressed Decision Diagrams Tsutomu Sasao | Jon T. Butler 2014
doi dblp Progress in Applications of Boolean Functions Tsutomu Sasao | Jon T. Butler 2009