S. Riis, “Finitisation in Bounded Arithmetic”, BRICS, vol. 1, no. 23, Aug. 1994.