Generalising Automaticity to Modal Properties of Finite Structures (Proc. 22nd Conf. on Foundations of Software Technology and Theoretical Computer Science (FSTTCS), 2002)

(untitled) - Dawar, A; Kreutzer, S