\begin{thebibliography}{1}

\bibitem{Petrckov2014OnlineRT}
{\v S}{\'a}rka Pet{\v r}{\'i}{\v c}kov{\'a}.
\newblock Online ramsey theory for planar graphs.
\newblock {\em Electronic Journal of Combinatorics}, 21:1--64, 2014.

\bibitem{Ramsey1930FormalLogic}
Frank~P. Ramsey.
\newblock On a problem of formal logic.
\newblock {\em Proc. London Math. Soc.}, 30:264--286, 1930.

\end{thebibliography}
