His 1986 paper on symbolic Boolean manipulation using Ordered Binary Decision Diagrams (BDDs) has the highest citation count of any publication in the Citeseer database of computer science literature.
Його статтю 1986 року про символічну булеву маніпуляцію з використанням впорядкованих бінарних діаграм рішень (BDDs) має найбільшу кількість цитування в базі даних Citeseer серед комп'ютерної літератури.