P. Fišer and J. Hlavička, “BOOM - A Heuristic Boolean Minimizer”, Comput. Inform., vol. 22, no. 1, pp. 19–51, Jan. 2012.