@inproceedings{KV99f,
	author	    =   "O. Kupferman and M.Y. Vardi",
        title       =   "Vacuity detection in temporal model checking",
	booktitle   = 	"10th Advanced Research Working
                  Conference on Correct Hardware Design and
                  Verification Methods",  
        series      =   "Lecture Notes in Computer Science",
        volume      =   "1703",
        pages       =   "82-96",
        publisher   =   "Springer-Verlag",
        year        =   "1999"
}