No. 23 (1994): RS-23 Finitisation in Bounded Arithmetic

Published: 1994-08-03