@Article{	  kl11ijfcs,
  author	= "Kufleitner, Manfred and Lauser, Alexander",
  title		= "Partially Ordered Two-way {B}{\"u}chi Automata",
  journal	= "International Journal of Foundations of Computer Science",
  year		= "2011",
  publisher	= "World Scientific",
  pages		= "1861--1876",
  volume	= "22",
  number	= "8",
  doi		= "10.1142/S0129054111009082",
  url		= "http://dx.doi.org/10.1142/S0129054111009082"
}