Improving Bounds for FPGA Logic Minimization. - Tim Todman; Haofan Fu; Oskar Mencer; Wayne Luk (FPT, 2007)