@Article{	  mus96tcs,
  author	= "Anca Muscholl",
  title		= "On the complementation of asynchronous cellular {B\"u}chi
		  automata",
  journal	= "Theoretical Computer Science",
  year		= "1996",
  volume	= "169",
  number	= "2",
  pages		= "123--145",
  publisher	= "Elsevier Science Publishers Ltd.",
  address	= "Essex, UK",
  issn		= "0304-3975",
  doi		= "10.1016/S0304-3975(96)00117-X"
}