[Fernández-Duque and Montacute. "Untangled: A Complete Dynamic Topological Logic." AAAI Conference on Artificial Intelligence, 2023.](https://mlanthology.org/aaai/2023/fernandezduque2023aaai-untangled/) doi:10.1609/AAAI.V37I5.25782
@inproceedings{fernandezduque2023aaai-untangled,
title = {{Untangled: A Complete Dynamic Topological Logic}},
author = {Fernández-Duque, David and Montacute, Yoàv},
booktitle = {AAAI Conference on Artificial Intelligence},
year = {2023},
pages = {6355-6362},
doi = {10.1609/AAAI.V37I5.25782},
url = {https://mlanthology.org/aaai/2023/fernandezduque2023aaai-untangled/}
}