@inproceedings {4996,
	title = {On Incompleteness of Multi-Dimensional First-Order Temporal Logics},
	booktitle = {International Symposium/Workshop on Temporal Representation and Reasoning (TIME)},
	year = {2003},
	doi = {10.1109/TIME.2003.1214885},
	author = {David Toman}
}
