Riis, S. Finitisation in Bounded Arithmetic. BRICS 1994, 1.