@misc{indiciae20bf2c5d6236,
  title = {CheckMATE 2: From the model to the limit},
  author = {Daniel Dercks and Nishita Desai and Jong Soo Kim and Krzysztof Rolbiecki and Jamie Tattersall and Torsten Weber},
  year = {2017},
  doi = {10.1016/j.cpc.2017.08.021},
  url = {https://arxiv.org/abs/1611.09856},
  note = {Source identifier: 1611.09856}
}