His paper on BDDs was awarded for having the highest citation count in the Citeseer database of any computer science literature .
Following his research , he published another paper on a tutorial and update on BDDs in 1992 .
BDDs ' paper on BDDs was awarded for having the highest citation count in the Citeseer database of any computer science literature .
Following his research , he published another paper on a tutorial and update on BDDs in 1992 .