Fernández-Duque, D., & Montacute, Y. (2023). Untangled: A Complete Dynamic Topological Logic. Proceedings of the AAAI Conference on Artificial Intelligence, 37(5), 6355-6362. https://doi.org/10.1609/aaai.v37i5.25782