Automatic structures (2000)

by A Blumensath, E Grädel
Venue:In LICS’00