Complexity of monodic guarded fragments over linear and real time

Ian M. Hodkinson. Complexity of monodic guarded fragments over linear and real time. Annals of Pure and Applied Logic, 138(1-3):94-125, 2006. [doi]

Abstract

Abstract is missing.