S. Riis, “Finitisation in Bounded Arithmetic”, BRICS, bd. 1, nr. 23, aug. 1994.