@InProceedings{Bojanczyk:2007:RUC,
  author =       "Miko{\l}aj Boja\'nczyk and Piotr Hoffman",
  title =        "Reachability in Unions of Commutative Rewriting Systems Is Decidable",
  pages =        "622--633",
  crossref =     "STACS-2007",
}


@Proceedings{STACS-2007,
  key =          "STACS~2007",
  editor =       "W. Thomas and P. Weil",
  title =        "Theoretical Aspects of Computer Science,
                 14th Annual Symposium, {STACS} 2007,
                 Aachen, Germany, 2007",
  booktitle =    "Theoretical Aspects of Computer Science,
                 14th Annual Symposium, {STACS} 2007,
                 Aachen, Germany, 2007",
  year =         "2007",
  series =       "LNCS Vol.~4393",
  publisher =    "Springer",
}