Springer online
BibTeX:
@article{ObuaN,author={Steven Obua and Tobias Nipkow}, title={Flyspeck {II}: The Basic Linear Programs}, journal={Annals of Mathematics and Artificial Intelligence}, volume=56,year=2009,pages={245-272}}