@inproceedings{KV98c,
	author	    =   "O. Kupferman and M.Y. Vardi",
	title       =   "Freedom, Weakness, and Determinism: From
                  Linear-time to Branching-time", 
	booktitle   =   "Proc. 13th {IEEE} Symposium on Logic in
			 Computer Science",
        month       =	"June",
	year        =	1995,
}