@article{FP20,
  year = {2020},
  volume = {61},
  journal = {Notre Dame Journal of Formal Logic},
  number = {1},
  author = {Anton Freund and Fedor Pakhomov},
  pages = {31-49},
  title = {Short Proofs for Slow Consistency},
}