Ogden's Lemma for Regular Tree Languages
  We motivate and prove a strong pumping lemma for regular tree languages. The new lemma can be seen as the natural correspondent of Ogden's lemma for context-free string languages. 
Marco Kuhlmann