@misc{indiciae7dc65dfe29cc,
  title = {A Closer Look at Some Recent Proof Compression-Related Claims},
  author = {Michael C. Chavrimootoo and Ethan Ferland and Erin Gibson and Ashley H. Wilson},
  year = {2022},
  url = {https://arxiv.org/abs/2212.12150},
  note = {Source identifier: 2212.12150}
}