@Article{	  KuskeL06ijac,
  author	= "Dietrich Kuske and Markus Lohrey",
  journal	= "International Journal of Algebra and Computation",
  pages		= "307--340",
  title		= "Logical Aspects of Cayley-Graphs: The Monoid Case",
  volume	= "16",
  year		= "2006",
  doi		= "10.1142/S0218196706003001"
}