(1)
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
.