@article{64500bacb2ee4b0c8ed6fb09e24ff2fc,
title = "Set Graphs. III. Proof Pearl: Claw-Free Graphs Mirrored into Transitive Hereditarily Finite Sets",
keywords = "Claw-free graph, Theory-based automated reasoning, Proof-checking, Referee",
author = "Omodeo, {Eugenio G.} and Tomescu, {Alexandru I.}",
year = "2014",
month = jan,
doi = "10.1007/s10817-012-9272-3",
language = "English",
volume = "52",
pages = "1--29",
journal = "Journal of Automated Reasoning",
issn = "0168-7433",
publisher = "Springer Netherlands",
number = "1",
}