| Simplifying Boolean constraint solving for random simulation-vector generation | 24 | 1.10 | 2004 |
| Theory of safe replacements for sequential circuits | 11 | 0.69 | 2001 |
| A theory and implementation of sequential hardware equivalence | 53 | 4.72 | 1992 |
| A Computation Theory and Implementation of Sequential Hardware Equivalence. | 33 | 5.19 | 1990 |
