Superposition Reasoning about Quantified Bitvector Formulas. - David Damestani; Laura Kovács; Martin Suda 001 (SYNASC, 2019)