@Article{	  HolubN09icalp,
  author	= "Holub, {\v{S}}t\v{e}p{\'a}n and Nowotka, Dirk",
  title		= "The Ehrenfeucht-Silberger Problem",
  year		= "2009",
  volume	= "5555",
  pages		= "537--548",
  publisher	= "Springer",
  address	= "Berlin",
  series	= "Lecture Notes in Computer Science",
  booktitle	= "36th International Colloquium, ICALP 2009, Rhodes, Greece,
		  July 5-12, 2009, Proceedings, Part I",
  doi		= "10.1007/978-3-642-02927-1_45"
}