Fast Boolean Minimizer for Completely Specified Functions. - Petr Fiser; Pemysl Rucký; Irena Vanová (DDECS, 2008)