@InProceedings{	  KufleitnerW2016,
  author	= "Kufleitner, Manfred and W{\"a}chter, Jan Philipp",
  title		= "The Word Problem for Omega-Terms over the {T}rotter-{W}eil
		  Hierarchy",
  booktitle	= "CSR 2016, Proceedings",
  year		= "2016",
  publisher	= "Springer",
  pages		= "237--250",
  isbn		= "978-3-319-34171-2",
  doi		= "10.1007/978-3-319-34171-2_17",
  url		= "http://dx.doi.org/10.1007/978-3-319-34171-2_17"
}