Frank Buijs, Thomas Lengauer. Synthesis of multi-level logic with one symbolic input. In Tony Ambler, Jochen A. G. Jess, Hugo De Man, editors, Proceedings of the conference on European design automation, EURO-DAC'91, Amsterdam, The Netherlands, 1991. pages 60-64, EEE Computer Society, 1991. [doi]
Abstract is missing.