@InProceedings{Hoffman:2006:UEM,
  author =       "Piotr Hoffman",
  title =        "Unions of Equational Monadic Theories",
  pages =        "81--95",
  crossref =     "RTA-2006",
}


@Proceedings{RTA-2006,
  key =          "RTA~2006",
  editor =       "F. Pfenning",
  title =        "Term Rewriting and Applications,
                 17th International Conference, {RTA} 2006,
                 Seattle, {WA}, {USA}, 2006",
  booktitle =    "Term Rewriting and Applications,
                 17th International Conference, {RTA} 2006,
                 Seattle, {WA}, {USA}, 2006",
  year =         "2006",
  series =       "LNCS Vol.~4098",
  publisher =    "Springer",
}