From automata to formulas: convex integer polyhedra | IEEE Conference Publication | IEEE Xplore