TY  - RPRT
TI  - The Temporal Logic of two dimensional Minkowski spacetime is decidable
AU  - Robin Hirsch
AU  - Mark Reynolds
PY  - 2017
UR  - https://arxiv.org/abs/1507.04903
ID  - 1507.04903
ER  -