E. Botoeva, P. Kouvaros, J. Kronqvist, A. Lomuscio, and R. Misener, “Efficient Verification of ReLU-Based Neural Networks via Dependency Analysis”, AAAI, vol. 34, no. 04, pp. 3291-3299, Apr. 2020.