Integer Linear-Exponential Programming in NP by Quantifier Elimination | Publicación