On the computability of region-based euclidean logics (2010)

by Yavor Nenov, Ian Pratt-Hartmann
Venue:In Anuj Dawar and Helmut