J. Li, K. Y. Rozier, G. Pu, Y. Zhang, and M. Y. Vardi, “SAT-Based Explicit LTLf Satisfiability Checking”, AAAI, vol. 33, no. 01, pp. 2946-2953, Jul. 2019.