Luigi Rinaldi, John Wickerson, Samuel Coward: A Multi-width Parametric Bitvector Equivalence Solver. CAV (1) 2026: 380-402