@misc{indiciae0587168c3ca4,
  title = {Abstracting models of strong normalization for classical calculi},
  author = {Downen, Paul and Johnson-Freyd, Philip and Ariola, Zena M.},
  year = {2020},
  doi = {10.1016/j.jlamp.2019.100512},
  url = {https://www.osti.gov/biblio/2284030},
  note = {Source identifier: 2284030}
}