TY  - RPRT
TI  - A Fast Algorithm and Datalog Inexpressibility for Temporal Reasoning
AU  - Manuel Bodirsky
AU  - Jan Kara
PY  - 2009
UR  - https://arxiv.org/abs/0805.1473
ID  - 0805.1473
ER  -