Li, J., & Liu, Y. (2020). Automatic Verification of Liveness Properties in the Situation Calculus. Proceedings of the AAAI Conference on Artificial Intelligence, 34(03), 2886-2892. https://doi.org/10.1609/aaai.v34i03.5679