Guha, S.; Mitra, U.; Dey, P.; Sen Sarma, S. In Search of a Better Heuristic Algorithm for Simplification of Switching Function - A Challenge to ESPRESSO. IJCT 2012, 3, 121-126.