Riis, S. (1994) “Finitisation in Bounded Arithmetic”, BRICS Report Series, 1(23). doi: 10.7146/brics.v1i23.21644.