Ultimate Automizer with SMTInterpol - (Competition Contribution). - Matthias Heizmann; Jürgen Christ; Daniel Dietsch; Evren Ermis; Jochen Hoenicke; Markus Lindenmann; Alexander Nutz; Christian Schilling 001; Andreas Podelski (TACAS, 2013)

Ultimate Automizer with Unsatisfiable Cores - (Competition Contribution). - Matthias Heizmann; Jürgen Christ; Daniel Dietsch; Jochen Hoenicke; Markus Lindenmann; Betim Musa; Christian Schilling 001; Stefan Wissert; Andreas Podelski (TACAS, 2014)