@Article{	  KufleitnerW2018tocs,
  doi		= "10.1007/s00224-017-9763-z",
  url		= "https://doi.org/10.1007/s00224-017-9763-z",
  year		= "2018",
  publisher	= "Springer",
  author	= "Kufleitner, Manfred and W{\"a}chter, Jan Philipp",
  title		= "The Word Problem for Omega-Terms over the {T}rotter-{W}eil
		  Hierarchy",
  pages		= "682--738",
  volume	= "62",
  issue		= "3",
  journal	= "Theory of Computing Systems"
}