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