Manuel Bodirsky, Jan Kára. A fast algorithm and datalog inexpressibility for temporal reasoning. ACM Trans. Comput. Log., 11(3), 2010. [doi]
@article{BodirskyK10-0, title = {A fast algorithm and datalog inexpressibility for temporal reasoning}, author = {Manuel Bodirsky and Jan Kára}, year = {2010}, doi = {10.1145/1740582.1740583}, url = {http://doi.acm.org/10.1145/1740582.1740583}, tags = {Datalog}, researchr = {https://researchr.org/publication/BodirskyK10-0}, cites = {0}, citedby = {0}, journal = {ACM Trans. Comput. Log.}, volume = {11}, number = {3}, }