Omodeo, Eugenio G.; Tomescu, Alexandru I. Set graphs. III: Proof pearl: Claw-free graphs mirrored into transitive hereditarily finite sets. (English) Zbl 1315.68223 J. Autom. Reasoning 52, No. 1, 1-29 (2014). MSC: 68T15 03B35 05C75 × Cite Format Result Cite Review PDF Full Text: DOI
Manolios, Panagiotis; Vroon, Daron Ordinal arithmetic: Algorithms and mechanization. (English) Zbl 1108.03020 J. Autom. Reasoning 34, No. 4, 387-423 (2005). MSC: 03B35 03E10 68T15 × Cite Format Result Cite Review PDF Full Text: DOI