The Strength of Replacement in Weak Arithmetic.

Stephen A. Cook, Neil Thapen

Browse the full LICS paper archive.