Cycling in proofs, feasibility and non speed-up for nonstandard arithmetic (1996)

by A Carbone