@inproceedings{RV11,
    author      =   "K.Y. Rozier and M.Y. Vardi",
    title       =   "A Multi-Encoding Approach for {LTL} Symbolic Satisfiability Checking",
    editors     =   "Michael Butler and Wolfram Schulte",
    booktitle   =   "17th International Symposium on Formal Methods (FM2011)",
    series      =   "Lecture Notes in Computer Science (LNCS)",
    volume      =   "6664",
    publisher   =   "Springer-Verlag",
    pages       =   "417--431",
    year        =   "2011"
}