P. Kouvaros, B. Brückner, P. Henriksen, and A. Lomuscio, “Dynamic Back-Substitution in Bound-Propagation-Based Neural Network Verification”, AAAI, vol. 39, no. 26, pp. 27383–27391, Apr. 2025.