@Proceedings{	  csr2007,
  editor	= "Diekert, Volker and Volkov, Mikhail V. and Voronkov,
		  Andrei",
  title		= "Computer Science - Theory and Applications, Second
		  International Symposium on Computer Science in Russia, CSR
		  2007, Ekaterinburg, Russia, September 3-7, 2007,
		  Proceedings",
  booktitle	= "CSR",
  publisher	= "Springer",
  series	= "Lecture Notes in Computer Science",
  volume	= "4649",
  year		= "2007",
  isbn		= "978-3-540-74509-9",
  bibsource	= "DBLP, http://dblp.uni-trier.de"
}