Flyspeck I: Tame Graphs. - Tobias Nipkow; Gertrud Bauer; Paula Schultz (IJCAR, 2006)