1. Mizar proof checker. Accessed: November 2015
2. Coq proof manager. Accessed: November 2015
3. The site of $$flyspeck$$ project, the formal verification of the proof of Kepler Conjecture. Accessed: November 2015
4. Ahmed, T., Kullmann, O., Snevily, H.: On the van der Waerden numbers w(2; 3, t). Discrete Appl. Math. 174, 27–51 (2014)
5. Biere, A.: Picosat essentials. JSAT 4(2–4), 75–97 (2008)