@Article{	  KuskeL05,
  author	= "Kuske, Dietrich and Lohrey, Markus",
  title		= "Logical aspects of {C}ayley-graphs: the group case",
  journal	= "Ann. Pure Appl. Logic",
  year		= "2005",
  volume	= "131",
  pages		= "263--286",
  number	= "1-3",
  doi		= "10.1016/j.apal.2004.06.002",
  issn		= "0168-0072",
  url		= "http://dx.doi.org/10.1016/j.apal.2004.06.002"
}