S. Guha, U. Mitra, P. Dey, and S. Sen Sarma, “In Search of a Better Heuristic Algorithm for Simplification of Switching Function - A Challenge to ESPRESSO”, IJCT, vol. 3, no. 1, pp. 121–126, Aug. 2012.