@misc{indiciae8ba715f7ed51,
  title = {EXPSPACE-Completeness of the Logics K4xS5 and S4xS5 and the Logic of Subset Spaces, Part 1: ESPACE-Algorithms},
  author = {Peter Hertling and Gisela Krommes},
  year = {2019},
  url = {https://arxiv.org/abs/1908.03501},
  note = {Source identifier: 1908.03501}
}