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