Fišer, P. and Hlavička, J. 2012. BOOM - A Heuristic Boolean Minimizer. Computing and Informatics. 22, 1 (Jan. 2012), 19–51.