@@techreport{LGSynth89,
	title={Logic Synthesis and Optimization Benchmarks},
    booktitle = {published at 1989 MCNC International Workshop on Logic Synthesis},
	author={Yang, S.},
	year={1988},
	month=dec,
}