Synthesis of multi-level logic with one symbolic input. - Frank Buijs; Thomas Lengauer (EURO-DAC, 1991)

ALU synthesis from HDL descriptions to optimized multi-level logic. - Frank Buijs (EURO-DAC, 1992)

Automating the logic synthesis of arithmetic-logic-units. - Frank Buijs (1993)