On the automata size for Presburger arithmetic (2004)

by Felix Klaedtke
Venue:In Nineteenth Annual IEEE Symposium on Logic in Computer Science