Symmetric Datalog and Constraint Satisfaction Problems in Logspace | IEEE Conference Publication | IEEE Xplore