@inproceedings{AK06,
    author      =   "B. Aminof and O. Kupferman",
    title       =   "On the succinctness of nondeterminizm",
    booktitle   =   "4th International Symposium on Automated
                    Technology for Verification and Analysis",  
    series      =   "Lecture Notes in Computer Science",
    volume      =   "4218",
    pages       =   "125-140",
    publisher   =   "Springer-Verlag",
    year        =   2006
}