John A. Benavides, Dana L. Wyatt. Improving digital circuit simulation: a knowledge based approach. In Michael A. Abrams, Peter L. Haigh, John Craig Comfort, editors, Proceedings of the 20th conference on Winter simulation, WSC 1988, San Diego, California, USA, December 12-14, 1988. pages 364-371, ACM, 1988. [doi]
Abstract is missing.