Notions of Locality and Their Logical Characterizations over Finite Models

Lauri Hella, Leonid Libkin, Juha Nurmonen. Notions of Locality and Their Logical Characterizations over Finite Models. Journal of Symbolic Logic, 64(4):1751-1773, 1999.

Abstract

Abstract is missing.