Expressive Power of Unary Counters.

Michael Benedikt, H. Jerome Keisler

Browse the full ICDT paper archive.