Najman P. Bondy-Chvátal’s Closure and Stability for Simple Graphs - Ideas, Formalisation and Complement. KREM [Internet]. 2015 Dec. 21 [cited 2024 Nov. 22];(904):53-69. Available from: https://krem.uek.krakow.pl/index.php/krem/article/view/822