An integer arithmetic path expansion algorithm. - Thomas A. Weber 002; Daniel G. Schweikert (DAC, 1974)