@misc{indiciaec49c1d82669f,
  title = {The Interpretation Lifting Theorem for C-Systems},
  author = {Anthony Bordg},
  year = {2021},
  url = {https://arxiv.org/abs/1710.02028},
  note = {Source identifier: 1710.02028}
}