Quantifier Elimination for Regular Integer Linear-Exponential Programming.

Mikhail R. Starchak

Browse the full LICS paper archive.