The strength of replacement in weak arithmetic | IEEE Conference Publication | IEEE Xplore