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