Kenneth L. McMillan. Hierarchical Representations of Discrete Functions, with Application to Model Checking. In David L. Dill, editor, Computer Aided Verification, 6th International Conference, CAV 94, Stanford, California, USA, June 21-23, 1994, Proceedings. Volume 818 of Lecture Notes in Computer Science, pages 41-54, Springer, 1994.
Abstract is missing.