@Proceedings{	  ArtemovDiekertRazborov2010,
  editor	= "Sergei Artemov and Volker Diekert and Alexander Razborov",
  title		= "Theory of Computing Systems: Special Issue of the 3rd
		  International Symposium on Computer Science in Russia,
		  Moscow 2008, Proceedings",
  publisher	= "Springer",
  journal	= "Theory of Computing Systems",
  volume	= "46",
  number	= "4",
  year		= "2010",
  doi		= "10.1007/s00224-009-9244-0"
}