Locality of Queries Definable in Invariant First-Order Logic with Arbitrary Built-in Predicates.

Matthew Anderson, Dieter van Melkebeek, Nicole Schweikardt, Luc Segoufin

Browse the full ICALP paper archive.