[LiPZVH18] Accelerating LTL satisfiability checking by SAT solvers Li, J.; Pu, G.; Zhang, L.; Vardi, M. Y. and He, J. In J. Log. Comput., 28: 1011-1030, 2018. doi.. 
Downloads: bibURL: https://doi.org/10.1093/logcom/exy013