@inproceedings{ICALP-B-2008-EgriLT,
author = "László Egri and Benoit Larose and Pascal Tesson",
booktitle = "{Proceedings of the 35th International Colloquium on Automata, Languages and Programming, Track B: Logic, Semantics, and Theory of Programming}",
doi = "10.1007/978-3-540-70583-3_15",
isbn = "978-3-540-70582-6",
pages = "172--183",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Directed st-Connectivity Is Not Expressible in Symmetric Datalog}",
volume = 5126,
year = 2008,
}
Tags: