@inproceedings{733,
  author = {David Toman},
  title = {On Incompleteness of Multi-Dimensional First-Order Temporal Logics},
  year = {2003},
  journal = {On Incompleteness of Multi-Dimensional First-Order Temporal Logics},
  doi = {10.1109/TIME.2003.1214885},
}