1. Ahmed, T.: Some new van der Waerden numbers and some van der Waerden-type numbers. Integers 9(1), 65–76 (2009)
2. Avigad, J.: Learning logic and proof with an interactive theorem prover. In: Hanna, G., Reid, D.A., de Villiers, M. (eds.) Proof Technology in Mathematics Research and Teaching, pp. 277–290. Springer International Publishing, Cham (2019). https://doi.org/10.1007/978-3-030-28483-1
3. Biere, A., Fazekas, K., Fleury, M., Heisinger, M.: CaDiCaL, Kissat, Paracooba, Plingeling and Treengeling entering the SAT Competition 2020. In Balyo,T., Froleyks, N., Heule, M., Iser, M., Järvisalo, M., Suda, M. (eds.) Proceedings of SAT Competition 2020 – Solver and Benchmark Descriptions, vol. B-2020-1 of Department of Computer Science Report Series B, University of Helsinki, pp. 51–53 (2020)
4. Erdős, P.: Some remarks on Ramsay’s theorem. Can. Math. Bull. 7(4), 619–622 (1964)
5. Erdős, P.: Some applications of Ramsey’s theorem to additive number theory. Eur. J. Comb. 1(1), 43–46 (1980)