D. Fernández-Duque and Y. Montacute, “Untangled: A Complete Dynamic Topological Logic”, AAAI, vol. 37, no. 5, pp. 6355-6362, Jun. 2023.