The Imandra Automated Reasoning System (System Description). - Grant O. Passmore; Simon Cruanes; Denis Ignatovich; Dave Aitken; Matt Bray; Elijah Kagan; Kostya Kanishev; Ewen Maclean; Nicola Mometto (IJCAR (2), 2020)