DŽAMONJA, Mirna, KOUTSOUKOU-ARGYRAKI, A., PAULSON, L. C. Formalizing ordinal partition relations using Isabelle/HOL. Experimental Mathematics. 2022, 31(2), 383-400. ISSN 1058-6458. E-ISSN 1944-950X. Dostupné z: https://doi.org/10.1080/10586458.2021.1980464.