Datalog vs. First-Order Logic

Mikls Ajtai, Yuri Gurevich

Browse the full FOCS paper archive.