The Expressivity of Quantifying over Regions Ernest Davis March 20, 2007.
The Expressivity of Quantifying over Regions
Metalogical Properties of First Order Languages over Spatial Regions