Firewall design: consistency, completeness, and compactness
Graph-Based Algorithms for Boolean Function Manipulation