@misc{indiciaeb900ff7b32c7, title = {Proof Schemata for Theories equivalent to \$PA\$: on the Benefit of Conservative Reflection Principles}, author = {David M. Cerna and Anela Lolic}, year = {2018}, url = {https://arxiv.org/abs/1711.10994}, note = {Source identifier: 1711.10994} }