Check out the electronic version of
my most cited paper: ``Graph-Based Algorithms for Boolean Function Manipulation,''
IEEE Transactions on Computers, Vol. C-35, No. 8, August, 1986,
pp. 677-691. This version includes footnotes giving updates on some of
the ideas and conjectures presented in the paper. As of July, 2004, this
paper is listed by the CiteSeer database as their most highly cited document, with 1594 citations.
See ResearchIndex Database
of Most Cited Documents.