Leon Stok David S. Kung Daniel Brand Anthony D. Drumm Andrew J. Sullivan Lakshmi N. Reddy Nathaniel Hieter David J. Geiger Han Hsun Chao Peter J. Osler BooleDozer: Logic synthesis for ASICs. 407-430 1996 40 IBM Journal of Research and Development 4 db/journals/ibmrd/ibmrd40.html#StokKBDSRHGCO96