@misc{indiciae3120f326a146, title = {The Temporal Logic of two dimensional Minkowski spacetime is decidable}, author = {Robin Hirsch and Mark Reynolds}, year = {2017}, url = {https://arxiv.org/abs/1507.04903}, note = {Source identifier: 1507.04903} }