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