The VLSI Design Automation Assistant: From Algorithms to Silicon. - Ted J. Kowalski; David J. Geiger; Wayne H. Wolf; Wolfgang Fichtner (IEEE Des. Test, 1985)

BDDMAP: A Technology Mapper Based on a New Covering Algorithm. - David S. Kung 001; Robert F. Damiano; Theresa A. Nix; David J. Geiger (DAC, 1992)

BooleDozer: Logic synthesis for ASICs. - Leon Stok; David S. Kung 001; Daniel Brand; Anthony D. Drumm; Andrew J. Sullivan; Lakshmi N. Reddy; Nathaniel Hieter; David J. Geiger; Han Hsun Chao; Peter J. Osler (IBM J. Res. Dev., 1996)