Li, J.; Rozier, K. Y.; Pu, G.; Zhang, Y.; Vardi, M. Y. SAT-Based Explicit LTLf Satisfiability Checking. AAAI 2019, 33, 2946-2953.