Najman, P. Bondy-Chvátal’s Closure and Stability for Simple Graphs - Ideas, Formalisation and Complement. KREM 2015, No. 904, 53-69. https://doi.org/10.15678/krem.822.