[LiZPZV19] SAT-based explicit LTL reasoning and its application to satisfiability checking Li, J.; Zhu, S.; Pu, G.; Zhang, L. and Vardi, M. Y. In Formal Methods in System Design, 54: 164-190, 2019. doi.. 
Downloads: bibURL: https://doi.org/10.1007/s10703-018-00326-5