John A. Darringer Automated Logic Synthesis. 177-186 1984 conf/vlsi/1984 VLSI Engineering db/conf/vlsi/vlsi1984.html#Darringer84