1:

 \begin{lemma}[Pumping Lemma]

1:

 \begin{lemma}[The Buffer Pumping Lemma]

1:

 \begin{lemma}[Pumping Lemma~\cite{hp-adp-08}]\label{app:lem:pumping1}

1:

 \begin{lem}[Pumping Lemma for \cf\ \lan s]\label{lem:pumpCF}

1:

 \begin{lemma}[Improved Pumping Lemma]\label{app:lem:pumping2}

5:

     This can be proven by applying the Pumping Lemma~\ref{prop:async} to 

1:

 \begin{lem}[Pumping Lemma for regular \lan s]\label{lem:pumpR}

1:

 \begin{lemma}[Pumping Lemma] \label{mainresult}

1:

 \begin{lemma}[Pumping Lemma~\cite{G-hp-adp-06}]\label{pl} 

1:

 \begin{lemma}[Pumping Lemma for Arrangements of Pseudolines] \label{merging}

1:

 \begin{lemma}[MSO Pumping Lemma]\label{lem:mso-localisation}

1:

 \begin{lemma}[Pumping Lemma for Arrangements of Pseudocircles] \label{mainresultgen}

1:

 \begin{lemma}%%[{\bf First Abstract Pumping Lemma}] 

1:

 \begin{lemma}%%[{\bf First Abstract Pumping Lemma}] 

1:

 \begin{lemma}[Index Pumping Lemma; bipartite version of Lemma~7.4.4.\ in~\cite{Die05}]\label{lem:IndexPump}