Sasha Rubin Automata Presenting Structures: A Survey of the Finite String Case. 169-209 2008 14 Bulletin of Symbolic Logic 2 http://www.math.ucla.edu/~asl/bsl/1402/1402-001.ps db/journals/bsl/bsl14.html#Rubin08