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. IBM Journal of Research and Development, 40(4):407-430, 1996.
Abstract is missing.