Computational Methods for Ramsey Numbers (2000)
[BibTex]