@misc{indiciae6fc1dfb51aec,
  title = {Types of Fireballs (Extended Version)},
  author = {Beniamino Accattoli and Giulio Guerrieri},
  year = {2018},
  url = {https://arxiv.org/abs/1808.10389},
  note = {Source identifier: 1808.10389}
}