@misc{indiciaeb4b086bd8129,
  title = {Approximate Span Liftings},
  author = {Tetsuya Sato and Gilles Barthe and Marco Gaboardi and Justin Hsu and Shin-ya Katsumata},
  year = {2018},
  doi = {10.1109/lics.2019.8785668},
  url = {https://arxiv.org/abs/1710.09010},
  note = {Source identifier: 1710.09010}
}