@PhdThesis{GattingerThesis2018,
  author    = {Malvin Gattinger},
  title     = {New Directions in Model Checking Dynamic Epistemic Logic},
  school    = {University of Amsterdam},
  year      = 2018,
  url       = {https://malv.in/phdthesis},
  isbn      = {978-94-028-1025-7},
}