Author(s): Thomas Gehrmann, Nigel Glover, Alexander Huss, James Whitehead
Preprint Number: IPPP/20/42
Arxiv: https://arxiv.org/abs/2009.11310