On Two ways FA with monotone counters and quadratic Diophantine equations (2004)

by O H Ibarra, Dang Zhe
Venue:Theoretical Computer Science