1. J.R. Burch, E.M. Clarke, and D.E. Long, Symbolic model checking with partitioned transition relations. In the Proceedings of VLSI'91.
2. J.R. Burch, E.M. Clarke, K.L. McMillan, D.L. Dill, and J. Hwang, Symbolic model checking: 1020 states and beyond. InProceedings of the Fifth Annual Symposium on Logic in Computer Science, June 1990.
3. E.M. Clarke and E.A. Emerson, Synthesis of synchronization skeletons for branching time temporal logic. In Dexter Kozen, editor,Logic of Programs: Workshop, volume 131 ofLecture Notes in Computer Science, Yorktown Heights, New York, May 1981. Springer-Verlag.
4. D. Dill, Trace theory for automatic hierarchical verification of speed-independent circuits. Technical Report 88?119, Carnegie Mellon University, Computer Science Dept., 1988.
5. P, Godefroid, Using partial orders to improve automatic verification methods. InWorkshop on Computer Aided Verification, 1990.