@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, }