@misc{indiciaeaf17ebd1c61a,
  title = {Complete Call-by-Value Calculi of Control Operators II: Strong Termination},
  author = {Ryu Hasegawa},
  year = {2021},
  doi = {10.23638/lmcs-17(1:18)2021},
  url = {https://arxiv.org/abs/1707.02034},
  note = {Source identifier: 1707.02034}
}