@misc{indiciaedd38231d9e4a,
  title = {Sequential Thresholds: Context Sensitive Default Extensions},
  author = {Choh Man Teng},
  year = {2013},
  url = {https://arxiv.org/abs/1302.1569},
  note = {Source identifier: 1302.1569}
}