Complexity of Arithmetic in Warded Datalog+-

Re-assign community