On optimal extraction of combinational logic and don't care sets from hardware description languages. - Glenn Colón-Bonet; Eric M. Schwarz; D. G. Bostick; Gary D. Hachtel; Michael R. Lightner (ICCAD, 1989)