On local and nonlocal properties (1982)

by H Gaifman
Venue:In Logic Colloquium’81