@inproceedings{NipkowBS-IJCAR06,
author={Tobias Nipkow and Gertrud Bauer and Paula Schultz},
title={Flyspeck {I}: Tame Graphs},
booktitle="Automated Reasoning (IJCAR 2006)",
editor="U. Furbach and N. Shankar",
publisher={Springer},series={LNCS},volume={4130},pages={21--35},year=2006}
