Flyspeck i: Tame graphs (2006)

by Tobias Nipkow, Gertrud Bauer, Paula Schultz
Venue:International Joint Conference on Automated Reasoning, volume 4130 of LNCS