"A Multi-encoding Approach for LTL Symbolic Satisfiability Checking."

Kristin Y. Rozier, Moshe Y. Vardi (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics