There is a paper by Fressola and Krone here [Integer Construction by Induction](http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.304.5927) that seems to do what you want to achieve.