Generalising Automaticity to Model Properties of Finite Structures

Anuj Dawar and Stephan Kreutzer

journal	Theoretical Computer Science
number	1-2
pages	266 — 285
volume	379
year	2007

people

Stephan Kreutzer