Quelle  root.bib   Sprache: Latech

@inproceedings{WST10,
  author    = {Ren\'e Thiemann and Christian Sternagel},
  title     = {Certified Polynomial Interpretations over Matrices and over Domains}, 
  year      = 2010,
  booktitle = {Proc.\ WST '10},
  note = "To appear."
}

@Article{MatrixJAR,
  author =       {J.~Endrullis and J.~Waldmann and H.~Zantema},
  title =        {{Matrix Interpretations for Proving Termination of Term Rewriting}},
  journal =      {Journal of Automated Reasoning},
  year =         {2008},
  OPTkey =       {},
  volume =       {40},
  number =       {2-3},
  pages =        {195--220},
  OPTmonth =     {},
  OPTnote =      {},
  OPTannote =    {}
}

@inproceedings{Arctic,
  author    = {A.\ Koprowski and J.\ Waldmann},
  title     = {Arctic Termination {\ldots} Below Zero},
  booktitle = {Proc.\ RTA'08},
  year      = {2008},
  pages     = {202--216},
  series = "LNCS 5117"
}

@inproceedings{CeTA,
  author    = {R.~Thiemann and C.~Sternagel},
  title     = {Certification of Termination Proofs using \ceta},
  booktitle = {Proc.\ TPHOLs'09},
  series    = {LNCS 5674},
  year      = 2009,
  pages     = {452--468}
}