Li, J., Rozier, K.Y., Pu, G., Zhang, Y. and Vardi, M.Y. 2019. SAT-Based Explicit LTLf Satisfiability Checking. Proceedings of the AAAI Conference on Artificial Intelligence. 33, 01 (Jul. 2019), 2946-2953. DOI:https://doi.org/10.1609/aaai.v33i01.33012946.