@comment{{This file has been generated by bib2bib 1.96}}

@comment{{Command line: /usr/bin/bib2bib -c '$key="neurauter10lpar" or $key="waldmann10rta" or $key="moser08fsttcs" or $key="endrullis08jar" or 1=2' ../biblio/abbrevs.bib ../biblio/rtaloop.bib ../biblio/crossrefs.bib}}

@string{lipics = {Leibniz International Proceedings in Informatics (LIPIcs)}}

@string{jar = {Journal of Automated Reasoning}}

@inproceedings{neurauter10lpar,
  author = {Friedrich Neurauter and Harald Zankl and Aart Middeldorp},
  title = {Revisiting Matrix Interpretations for Polynomial
               Derivational Complexity of Term Rewriting},
  crossref = {lpar10}
}

@inproceedings{waldmann10rta,
  author = {Johannes Waldmann},
  title = {Polynomially Bounded Matrix Interpretations},
  crossref = {rta10},
  pages = {357--372},
  url = {http://drops.dagstuhl.de/opus/volltexte/2010/2663}
}

@inproceedings{moser08fsttcs,
  author = {Georg Moser and Andreas Schnabl and Johannes Waldmann},
  title = {Complexity Analysis of Term Rewriting Based on  Matrix and Context Dependent Interpretations},
  crossref = {fsttcs10},
  pages = {304--315},
  url = {http://drops.dagstuhl.de/opus/volltexte/2008/1762}
}

@article{endrullis08jar,
  author = {Joerg Endrullis and Johannes Waldmann and Hans Zantema},
  title = {Matrix Interpretations for Proving Termination of Term
               Rewriting},
  journal = jar,
  volume = 40,
  number = {2-3},
  year = {2008},
  pages = {195--220}
}

@proceedings{fsttcs10,
  booktitle = {Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2008)},
  series = lipics,
  isbn = {978-3-939897-08-8},
  issn = {1868-8969},
  year = {2008},
  volume = {2},
  editor = {Ramesh Hariharan and Madhavan Mukund and V Vinay},
  publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  urn = {urn:nbn:de:0030-drops-17626},
  doi = {http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2008.1762}
}

@proceedings{lpar10,
  booktitle = {17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  series = {ARCoSS},
  volume = 6397,
  year = 2010,
  month = oct,
  note = {To appear.}
}

@proceedings{rta10,
  booktitle = {Proceedings of the 21st International Conference on Rewriting Techniques and Applications},
  series = lipics,
  volume = 6,
  year = 2010,
  month = jul,
  editor = {Christopher Lynch},
  publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address = {Edinburgh, UK}
}