Roderick Bloem, Kavita Ravi, Fabio Somenzi. Efficient Decision Procedures for Model Checking of Linear Time Logic Properties. In Nicolas Halbwachs, Doron Peled, editors, Computer Aided Verification, 11th International Conference, CAV 99, Trento, Italy, July 6-10, 1999, Proceedings. Volume 1633 of Lecture Notes in Computer Science, pages 222-235, Springer, 1999. [doi]
Abstract is missing.