Kira 1.0: https://arxiv.org/abs/1705.05610 | https://inspirehep.net/literature/1599858
Kira 1.2: https://arxiv.org/abs/1812.01491 | https://inspirehep.net/literature/1706809
Kira 2.0: https://arxiv.org/abs/2008.06494 | https://inspirehep.net/literature/1811816