@misc{indiciaea23a0c10d896,
  title = {A History of Until},
  author = {Andrea Masini and Luca Viganò and Marco Volpe},
  year = {2009},
  url = {https://arxiv.org/abs/0910.4500},
  note = {Source identifier: 0910.4500}
}