MLA

Areces, Carlos, and Diana Costa. Dynamic Logic. New Trends and Applications : 4th International Workshop, Dalí 2022, Haifa, Israel, July 31-august 1, 2022, Revised Selected Papers. Cham: Springer International Publishing AG, 2023.

APA

Areces, C., & Costa, D. (2023). Dynamic Logic. New Trends and Applications : 4th International Workshop, DaLí 2022, Haifa, Israel, July 31-August 1, 2022, Revised Selected Papers. Cham: Springer International Publishing AG.

Chicago

Areces, Carlos., and Diana Costa. Dynamic Logic. New Trends and Applications : 4th International Workshop, Dalí 2022, Haifa, Israel, July 31-August 1, 2022, Revised Selected Papers. Cham: Springer International Publishing AG, 2023.