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