Francesco Curatelli Daniele D. Caviglia Marco Chirico Giacomo M. Bisio Optimization strategies in symbolic compaction. 311-322 1992 conf/ifip10-2/1992 Synthesis for Control Dominated Circuits db/conf/ifip10-2/ifip10-2-1992.html#CuratelliCCB92