Fišer, Petr, and Jan Hlavička. 2012. “BOOM - A Heuristic Boolean Minimizer”. Computing and Informatics 22 (1):19-51. http://147.213.75.17/ojs/index.php/cai/article/view/450.