@inproceedings{CAV-1996-BraytonHSSACEKKPQRSSSV,
	author        = "Robert K. Brayton and Gary D. Hachtel and Alberto L. Sangiovanni-Vincentelli and Fabio Somenzi and Adnan Aziz and Szu-Tsung Cheng and Stephen A. Edwards and Sunil P. Khatri and Yuji Kukimoto and Abelardo Pardo and Shaz Qadeer and Rajeev K. Ranjan and Shaker Sarwary and Thomas R. Shiple and Gitanjali Swamy and Tiziano Villa",
	booktitle     = "{Proceedings of the Eighth International Conference on Computer Aided Verification}",
	doi           = "10.1007/3-540-61474-5_95",
	isbn          = "3-540-61474-5",
	pages         = "428--432",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{VIS: A System for Verification and Synthesis}",
	volume        = 1102,
	year          = 1996,
}