A. Ainouche
-
Hamiltonicity of 3-connected quasi-claw-free graphs
Discrete Mathematics
Set Graphs. III. Proof Pearl: Claw-Free Graphs Mirrored into Transitive Hereditarily Finite Sets
Journal of Automated Reasoning