%0 Journal Article %A Damnjanovic, Zlatan %D 1994 %I Duke University Press %J Notre Dame Journal of Formal Logic %N 4 %P 496-522 %T Elementary Functions and LOOP Programs %V 35