@InProceedings{Hoffman:2005:UET,
  author =       "Piotr Hoffman",
  title =        "Union of Equational Theories: An Algebraic Approach",
  pages =        "61--73",
  crossref =     "RTA-2005",
}


@Proceedings{RTA-2005,
  key =          "RTA~2005",
  editor =       "J. Giesl",
  title =        "Term Rewriting and Applications,
                 16th International Conference, {RTA} 2005,
                 Nara, Japan, 2005",
  booktitle =    "Term Rewriting and Applications,
                 16th International Conference, {RTA} 2005,
                 Nara, Japan, 2005",
  year =         "2005",
  series =       "LNCS Vol.~3467",
  publisher =    "Springer",
}