Generalising Automaticity to Modal Properties of Finite Structures
A. Dawar and S. Kreutzer
Book Title
Proc. 22nd Conf. on Foundations of Software Technology and Theoretical Computer Science (FSTTCS)
Pages
109–120
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
2556
Year
2002