On the Computability of Region-Based Euclidean Logics.

Yavor Nenov, Ian Pratt-Hartmann

Browse the full CSL paper archive.