Manolis Koubarakis
Complexity Results for First-Order Theories of Temporal Constraints
KR, 1994.
@inproceedings{KR-1994-Koubarakis, author = "Manolis Koubarakis", booktitle = "{Proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning}", isbn = "1-55860-328-X", pages = "379--390", publisher = "{Morgan Kaufmann}", title = "{Complexity Results for First-Order Theories of Temporal Constraints}", year = 1994, }