Comparison of two techniques for proving nonexistence of strongly regular graphs - Vasek Chvatal (2009)