"A New Viewpoint on Two-Level Logic Minimization."

Olivier Coudert, Jean Christophe Madre, Henri Fraisse (1993)
a service of Schloss Dagstuhl - Leibniz Center for Informatics