@InProceedings{	  Lohrey06fossacs,
  author	= "Lohrey, Markus",
  title		= "First-order and counting theories of $\omega$-automatic
		  structures",
  volume	= "3921",
  year		= "2006",
  pages		= "322--336",
  publisher	= "Springer",
  address	= "Heidelberg",
  series	= "Lecture Notes in Computer Science",
  booktitle	= "Proceedings of FoSSaCS 2006",
  doi		= "10.1007/11690634_22"
}