Oscar H. Ibarra Brian S. Leininger Straight-Line Programs with One Input Variable. 1-14 1982 11 SIAM J. Comput. 1 db/journals/siamcomp/siamcomp11.html#IbarraL82