Fišer, P.; Hlavička, J. BOOM - A Heuristic Boolean Minimizer. Comput. Inform. 2012, 22, 19-51.