Zdeněk Ryjáček
-
Factor criticality and complete closure of graphs
Discrete Mathematics
Set Graphs. III. Proof Pearl: Claw-Free Graphs Mirrored into Transitive Hereditarily Finite Sets
Journal of Automated Reasoning