Symmetric Datalog and Constraint Satisfaction Problems in Logspace.

Lszl Egri, Benot Larose, Pascal Tesson

Browse the full LICS paper archive.