@inproceedings{Kup06a,
        author      =   "O. Kupferman",
        title       =   "Avoiding Determinization",
        booktitle   =   "Proc. 21st {IEEE} Symp. on Logic in
             Computer Science",
        year        =   "2006"
}