@InProceedings{	  KuskeL03stacs,
  author	= "Kuske, Dietrich and Lohrey, Markus",
  title		= "Decidable theories of Cayley-{G}raphs",
  year		= "2003",
  volume	= "2607",
  pages		= "463--474",
  publisher	= "Springer",
  address	= "Berlin",
  series	= "Lecture Notes in Computer Science",
  booktitle	= "20th Annual Symposium on Theoretical Aspects of Computer
		  Science, Berlin, Germany, February 27 - March 1, 2003,
		  (STACS 2003). Proceedings",
  doi		= "10.1007/3-540-36494-3_41"
}