@article{spies-2021-transfinite, title={Transfinite step-indexing for termination}, volume={5}, ISSN={2475-1421}, url={http://dx.doi.org/10.1145/3434294}, DOI={10.1145/3434294}, number={POPL}, journal={Proceedings of the ACM on Programming Languages}, publisher={Association for Computing Machinery (ACM)}, author={Spies, Simon and Krishnaswami, Neel and Dreyer, Derek}, year={2021}, month=Jan, pages={1–29} }