On the expressive power of counting (1995)

by S Grumbach, C Tollu
Venue:Theoretical Computer Science