"Tutorial: Design of a Logic Synthesis System."

Richard L. Rudell (1996)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics