@Proceedings{arec:dyna23,
  title =        "Dynamic Logic. New Trends and Applications",
  year =         "2023",
  editor =       "C. Areces and D. Costa",
  publisher =    "Springer International Publishing",
  ISBN =         "978-3-031-26622-5",
}