@inproceedings{KV00a,
	author	    =   "O. Kupferman and M.Y. Vardi",
        title       =   "An Automata-Theoretic Approach to Reasoning
                         about Infinite-State Systems",   
	booktitle   = 	"Computer Aided Verification, Proc. 12th  Int.
                         Conference",
        series      =   "Lecture Notes in Computer Science",
	pages       =   "36--52", 	  
        volume      =   "1855", 
        publisher   =   "Springer-Verlag",
        year        =   "2000"
}