Directed st-Connectivity Is Not Expressible in Symmetric Datalog.

Lszl Egri, Benot Larose, Pascal Tesson

Browse the full ICALP paper archive.