1. Eén, N., Sörrenson, N.: The MiniSat Page, http://minisat.se
2. Erdös, P.: (Wikiquote), http://en.wikiquote.org/wiki/Paul_Erdos
3. Exoo, G.: On the Ramsey number R(4,6). Electron. J. Combin. 19 P66 (2012)
4. Exoo, G.: Ramsey numbers, http://ginger.indstate.edu/ge/RAMSEY
5. Fujita, M., Slaney, J., Bennett, F.: Automatic Generation of Some Results in Finite Algebra. In: IJCAI 1993 (1993)