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