Combinational Logic Design Using Six-Terminal NEM Relays
Graph-Based Algorithms for Boolean Function Manipulation