Guillaume Aucher. Expedition in the Update Universe. In Manuel A. Martins, Igor Sedlár, editors, Dynamic Logic. New Trends and Applications - Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9-10, 2020, Revised Selected Papers. Volume 12569 of Lecture Notes in Computer Science, pages 1-16, Springer, 2020. [doi]
Abstract is missing.