The Strength of Replacement in Weak Arithmetic (2004)

by Stephen Cook, Neil Thapen
Venue:In Proc. 19th IEEE Symposium on Logic in Computer Science