@inproceedings{RV07,
    author      =   "K.Y. Rozier and M.Y. Vardi",
    title       =   "{LTL} Satisfiability Checking",
    editors     =   "D. Bo\v{s}na\v{c}ki and S. Edelkamp",
    booktitle   =   "14th Workshop on Model Checking Software (SPIN '07)",
    series      =   "Lecture Notes in Computer Science (LNCS)",
    volume      =   "4595",
    publisher   =   "Springer-Verlag",
    pages       =   "149-167",
    year        =   "2007"
}