publications:
- title: "Induction Proofs with Partial Functions"
  author:
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  year: "2001"
  researchr: "https://researchr.org/publication/Giesl01"
  cites: 0
  citedby: 0
  journal: "Journal of Automated Reasoning"
  volume: "26"
  number: "1"
  pages: "1-49"
  kind: "article"
  key: "Giesl01"
- title: "Verification of Erlang Processes by Dependency Pairs"
  author:
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  - name: "Thomas Arts"
    link: "https://researchr.org/alias/thomas-arts"
  year: "2001"
  doi: "http://link.springer.de/link/service/journals/00200/bibs/1012001/10120039.htm"
  links:
    doi: "http://link.springer.de/link/service/journals/00200/bibs/1012001/10120039.htm"
  researchr: "https://researchr.org/publication/GieslA01"
  cites: 0
  citedby: 0
  journal: "Appl. Algebra Eng. Commun. Comput."
  volume: "12"
  number: "1/2"
  pages: "39-72"
  kind: "article"
  key: "GieslA01"
- title: "Termination Analysis for Functional Programs using Term Orderings"
  author:
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  year: "1995"
  tags:
  - "program analysis"
  - "functional programming"
  - "analysis"
  - "termination"
  researchr: "https://researchr.org/publication/Giesl95%3A1"
  cites: 0
  citedby: 0
  pages: "154-171"
  booktitle: "Static Analysis, Second International Symposium, SAS 95, Glasgow, UK, September 25-27, 1995, Proceedings"
  editor:
  - name: "Alan Mycroft"
    link: "https://researchr.org/alias/alan-mycroft"
  volume: "983"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-60360-3"
  kind: "inproceedings"
  key: "Giesl95:1"
- title: "Proving and Disproving Termination in the Dependency Pair Framework"
  author:
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  - name: "René Thiemann"
    link: "https://researchr.org/alias/ren%C3%A9-thiemann"
  - name: "Peter Schneider-Kamp"
    link: "https://researchr.org/alias/peter-schneider-kamp"
  year: "2005"
  doi: "http://drops.dagstuhl.de/opus/volltexte/2006/509"
  links:
    doi: "http://drops.dagstuhl.de/opus/volltexte/2006/509"
  tags:
  - "termination"
  researchr: "https://researchr.org/publication/GieslTS05"
  cites: 0
  citedby: 0
  booktitle: "Deduction and Applications, 23.-28. October 2005"
  editor:
  - name: "Franz Baader"
    link: "https://researchr.org/alias/franz-baader"
  - name: "Peter Baumgartner"
    link: "https://researchr.org/alias/peter-baumgartner"
  - name: "Robert Nieuwenhuis"
    link: "https://researchr.org/alias/robert-nieuwenhuis"
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  volume: "05431"
  series: "Dagstuhl Seminar Proceedings"
  publisher: "Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany"
  kind: "inproceedings"
  key: "GieslTS05"
- title: "Eliminating Dummy Elimination"
  author:
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  - name: "Aart Middeldorp"
    link: "http://cl-informatik.uibk.ac.at/~ami/"
  year: "2000"
  researchr: "https://researchr.org/publication/GieslM00"
  cites: 0
  citedby: 0
  pages: "309-323"
  booktitle: "Automated Deduction - CADE-17, 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000, Proceedings"
  editor:
  - name: "David A. McAllester"
    link: "https://researchr.org/alias/david-a.-mcallester"
  volume: "1831"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-67664-3"
  kind: "inproceedings"
  key: "GieslM00"
- title: "Search Techniques for Rational Polynomial Orders"
  author:
  - name: "Carsten Fuhs"
    link: "https://researchr.org/alias/carsten-fuhs"
  - name: "Rafael Navarro-Marset"
    link: "https://researchr.org/alias/rafael-navarro-marset"
  - name: "Carsten Otto"
    link: "https://researchr.org/alias/carsten-otto"
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  - name: "Salvador Lucas"
    link: "https://researchr.org/alias/salvador-lucas"
  - name: "Peter Schneider-Kamp"
    link: "https://researchr.org/alias/peter-schneider-kamp"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-85110-3_10"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-85110-3_10"
  tags:
  - "search"
  researchr: "https://researchr.org/publication/FuhsNOGLS08"
  cites: 0
  citedby: 0
  pages: "109-124"
  booktitle: "Intelligent Computer Mathematics, 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings"
  editor:
  - name: "Serge Autexier"
    link: "https://researchr.org/alias/serge-autexier"
  - name: "John Campbell"
    link: "https://researchr.org/alias/john-campbell"
  - name: "Julio Rubio"
    link: "https://researchr.org/alias/julio-rubio"
  - name: "Volker Sorge"
    link: "https://researchr.org/alias/volker-sorge"
  - name: "Masakazu Suzuki"
    link: "https://researchr.org/alias/masakazu-suzuki"
  - name: "Freek Wiedijk"
    link: "http://www.cs.ru.nl/~freek/"
  volume: "5144"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-85109-7"
  kind: "inproceedings"
  key: "FuhsNOGLS08"
- title: "Preface"
  author:
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  - name: "Deepak Kapur"
    link: "https://researchr.org/alias/deepak-kapur"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/s10817-005-9021-y"
  links:
    doi: "http://dx.doi.org/10.1007/s10817-005-9021-y"
  researchr: "https://researchr.org/publication/GieslK05a"
  cites: 0
  citedby: 0
  journal: "Journal of Automated Reasoning"
  volume: "34"
  number: "4"
  pages: "323"
  kind: "article"
  key: "GieslK05a"
- title: "Proving Innermost Normalisation Automatically"
  author:
  - name: "Thomas Arts"
    link: "https://researchr.org/alias/thomas-arts"
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  year: "1997"
  researchr: "https://researchr.org/publication/ArtsG97%3A0"
  cites: 0
  citedby: 0
  pages: "157-171"
  booktitle: "Rewriting Techniques and Applications, 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997, Proceedings"
  editor:
  - name: "Hubert Comon"
    link: "https://researchr.org/alias/hubert-comon"
  volume: "1232"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-62950-5"
  kind: "inproceedings"
  key: "ArtsG97:0"
- title: "Special Issue  Termination "
  author:
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  - name: "Pierre Lescanne"
    link: "https://researchr.org/alias/pierre-lescanne"
  year: "2001"
  doi: "http://link.springer.de/link/service/journals/00200/bibs/1012001/10120001.htm"
  links:
    doi: "http://link.springer.de/link/service/journals/00200/bibs/1012001/10120001.htm"
  tags:
  - "termination"
  researchr: "https://researchr.org/publication/GieslL01"
  cites: 0
  citedby: 0
  journal: "Appl. Algebra Eng. Commun. Comput."
  volume: "12"
  number: "1/2"
  pages: "1-2"
  kind: "article"
  key: "GieslL01"
- title: "Improving Dependency Pairs"
  author:
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  - name: "René Thiemann"
    link: "https://researchr.org/alias/ren%C3%A9-thiemann"
  - name: "Peter Schneider-Kamp"
    link: "https://researchr.org/alias/peter-schneider-kamp"
  - name: "Stephan Falke"
    link: "https://researchr.org/alias/stephan-falke"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2850&spage=167"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2850&spage=167"
  researchr: "https://researchr.org/publication/GieslTSF03"
  cites: 0
  citedby: 0
  pages: "167-182"
  booktitle: "Logic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings"
  editor:
  - name: "Moshe Y. Vardi"
    link: "https://researchr.org/alias/moshe-y.-vardi"
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  volume: "2850"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-20101-7"
  kind: "inproceedings"
  key: "GieslTSF03"
- title: "Modularity of Termination Using Dependency pairs"
  author:
  - name: "Thomas Arts"
    link: "https://researchr.org/alias/thomas-arts"
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  year: "1998"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1379/13790226.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1379/13790226.htm"
  tags:
  - "termination"
  researchr: "https://researchr.org/publication/ArtsG98"
  cites: 0
  citedby: 0
  pages: "226-240"
  booktitle: "Rewriting Techniques and Applications, 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings"
  editor:
  - name: "Tobias Nipkow"
    link: "https://researchr.org/alias/tobias-nipkow"
  volume: "1379"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-64301-X"
  kind: "inproceedings"
  key: "ArtsG98"
- title: "Implementing RPO and POLO using SAT"
  author:
  - name: "Peter Schneider-Kamp"
    link: "https://researchr.org/alias/peter-schneider-kamp"
  - name: "Carsten Fuhs"
    link: "https://researchr.org/alias/carsten-fuhs"
  - name: "René Thiemann"
    link: "https://researchr.org/alias/ren%C3%A9-thiemann"
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  - name: "Elena Annov"
    link: "https://researchr.org/alias/elena-annov"
  - name: "Michael Codish"
    link: "https://researchr.org/alias/michael-codish"
  - name: "Aart Middeldorp"
    link: "https://researchr.org/alias/aart-middeldorp"
  - name: "Harald Zankl"
    link: "https://researchr.org/alias/harald-zankl"
  year: "2007"
  doi: "http://drops.dagstuhl.de/opus/volltexte/2007/1249"
  links:
    doi: "http://drops.dagstuhl.de/opus/volltexte/2007/1249"
  researchr: "https://researchr.org/publication/Schneider-KampFTGACMZ07"
  cites: 0
  citedby: 0
  booktitle: "Deduction and Decision Procedures, 30.09. - 05.10.2007"
  editor:
  - name: "Franz Baader"
    link: "https://researchr.org/alias/franz-baader"
  - name: "Byron Cook"
    link: "https://researchr.org/alias/byron-cook"
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  - name: "Robert Nieuwenhuis"
    link: "https://researchr.org/alias/robert-nieuwenhuis"
  volume: "07401"
  series: "Dagstuhl Seminar Proceedings"
  publisher: "Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany"
  kind: "inproceedings"
  key: "Schneider-KampFTGACMZ07"
- title: "Lazy Abstraction for Size-Change Termination"
  author:
  - name: "Michael Codish"
    link: "https://researchr.org/alias/michael-codish"
  - name: "Carsten Fuhs"
    link: "https://researchr.org/alias/carsten-fuhs"
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  - name: "Peter Schneider-Kamp"
    link: "https://researchr.org/alias/peter-schneider-kamp"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-16242-8_16"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-16242-8_16"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/lpar/CodishFGS10"
  tags:
  - "laziness"
  - "termination"
  - "abstraction"
  researchr: "https://researchr.org/publication/CodishFGS10"
  cites: 0
  citedby: 0
  pages: "217-232"
  booktitle: "Logic for Programming, Artificial Intelligence, and Reasoning - 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings"
  editor:
  - name: "Christian G. Fermüller"
    link: "https://researchr.org/alias/christian-g.-ferm%C3%BCller"
  - name: "Andrei Voronkov"
    link: "https://researchr.org/alias/andrei-voronkov"
  volume: "6397"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-16241-1"
  kind: "inproceedings"
  key: "CodishFGS10"
- title: "Third Special Issue on Techniques for Automated Termination Proofs"
  author:
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  - name: "Deepak Kapur"
    link: "https://researchr.org/alias/deepak-kapur"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/s10817-006-9052-z"
  links:
    doi: "http://dx.doi.org/10.1007/s10817-006-9052-z"
  tags:
  - "termination"
  researchr: "https://researchr.org/publication/GieslK06"
  cites: 0
  citedby: 0
  journal: "Journal of Automated Reasoning"
  volume: "37"
  number: "3"
  pages: "153-154"
  kind: "article"
  key: "GieslK06"
- title: "The Semantics of Rational Contractions"
  author:
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  - name: "Ingrid Neumann"
    link: "https://researchr.org/alias/ingrid-neumann"
  year: "1993"
  tags:
  - "semantics"
  researchr: "https://researchr.org/publication/GieslN93"
  cites: 0
  citedby: 0
  pages: "356"
  booktitle: "Progress in Artificial Intelligence, 6th Portuguese Conference on Artificial Intelligence, EPIA  93, Porto, Portugal, October 6-8, 1993, Proceedings"
  editor:
  - name: "Miguel Filgueiras"
    link: "https://researchr.org/alias/miguel-filgueiras"
  - name: "Luís Damas"
    link: "https://researchr.org/alias/lu%C3%ADs-damas"
  volume: "727"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-57287-2"
  kind: "inproceedings"
  key: "GieslN93"
- title: "Context-Moving Transformations for Function Verification"
  author:
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  year: "1999"
  tags:
  - "context-aware"
  - "transformation"
  researchr: "https://researchr.org/publication/Giesl99"
  cites: 0
  citedby: 0
  pages: "293-312"
  booktitle: "Logic Programming Synthesis and Transformation, 9th International Workshop, LOPSTR 99, Venezia, Italy, September 22-24, 1999, Selected Papers"
  editor:
  - name: "Annalisa Bossi"
    link: "https://researchr.org/alias/annalisa-bossi"
  volume: "1817"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-67628-7"
  kind: "inproceedings"
  key: "Giesl99"
- title: "Dependency Pairs for Equational Rewriting"
  author:
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  - name: "Deepak Kapur"
    link: "https://researchr.org/alias/deepak-kapur"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2051/20510093.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2051/20510093.htm"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/GieslK01%3A0"
  cites: 0
  citedby: 0
  pages: "93-108"
  booktitle: "Rewriting Techniques and Applications, 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001, Proceedings"
  editor:
  - name: "Aart Middeldorp"
    link: "https://researchr.org/alias/aart-middeldorp"
  volume: "2051"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-42117-3"
  kind: "inproceedings"
  key: "GieslK01:0"
- title: "Maximal Termination"
  author:
  - name: "Carsten Fuhs"
    link: "https://researchr.org/alias/carsten-fuhs"
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  - name: "Aart Middeldorp"
    link: "http://cl-informatik.uibk.ac.at/~ami/"
  - name: "Peter Schneider-Kamp"
    link: "https://researchr.org/alias/peter-schneider-kamp"
  - name: "René Thiemann"
    link: "https://researchr.org/alias/ren%C3%A9-thiemann"
  - name: "Harald Zankl"
    link: "https://researchr.org/alias/harald-zankl"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-70590-1_8"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-70590-1_8"
  tags:
  - "termination"
  researchr: "https://researchr.org/publication/FuhsGMSTZ08"
  cites: 0
  citedby: 0
  pages: "110-125"
  booktitle: "Rewriting Techniques and Applications, 19th International Conference, RTA 2008, Hagenberg, Austria, July 15-17, 2008, Proceedings"
  editor:
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  volume: "5117"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-70588-8"
  kind: "inproceedings"
  key: "FuhsGMSTZ08"
- title: "Equational Termination by Semantic Labelling"
  author:
  - name: "Hitoshi Ohsaki"
    link: "https://researchr.org/alias/hitoshi-ohsaki"
  - name: "Aart Middeldorp"
    link: "http://cl-informatik.uibk.ac.at/~ami/"
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1862/18620457.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1862/18620457.htm"
  tags:
  - "termination"
  researchr: "https://researchr.org/publication/OhsakiMG00"
  cites: 0
  citedby: 0
  pages: "457-471"
  booktitle: "Computer Science Logic, 14th Annual Conference of the EACSL, Fischbachau, Germany, August 21-26, 2000, Proceedings"
  editor:
  - name: "Peter Clote"
    link: "https://researchr.org/alias/peter-clote"
  - name: "Helmut Schwichtenberg"
    link: "https://researchr.org/alias/helmut-schwichtenberg"
  volume: "1862"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-67895-6"
  kind: "inproceedings"
  key: "OhsakiMG00"
- title: "SAT Solving for Argument Filterings"
  author:
  - name: "Michael Codish"
    link: "https://researchr.org/alias/michael-codish"
  - name: "Peter Schneider-Kamp"
    link: "https://researchr.org/alias/peter-schneider-kamp"
  - name: "Vitaly Lagoon"
    link: "https://researchr.org/alias/vitaly-lagoon"
  - name: "René Thiemann"
    link: "https://researchr.org/alias/ren%C3%A9-thiemann"
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11916277_3"
  links:
    doi: "http://dx.doi.org/10.1007/11916277_3"
  researchr: "https://researchr.org/publication/CodishSLTG06"
  cites: 0
  citedby: 0
  pages: "30-44"
  booktitle: "Logic for Programming, Artificial Intelligence, and Reasoning, 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings"
  editor:
  - name: "Miki Hermann"
    link: "https://researchr.org/alias/miki-hermann"
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  volume: "4246"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-48281-4"
  kind: "inproceedings"
  key: "CodishSLTG06"
- title: "Deaccumulation techniques for improving provability"
  author:
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  - name: "Armin Kühnemann"
    link: "http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/K=uuml=hnemann:Armin.html"
  - name: "Janis Voigtländer"
    link: "http://www.iai.uni-bonn.de/~jv/"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.jlap.2006.11.001"
  abstract: "Several induction theorem provers were developed to verify             functional programs mechanically. Unfortunately, automatic             verification often fails for functions with accumulating arguments.              Using concepts from the theory of tree transducers and extending             on earlier work, the paper develops automatic transformations from              accumulative functional programs into non-accumulative ones, which              are much better suited for mechanized verification. The overall              goal is to reduce the need for generalizing induction hypotheses in              (semi-)automatic provers. Via the correspondence between imperative              programs and tail-recursive functions, the presented approach can              also help to reduce the need for inventing loop invariants in the              verification of imperative programs."
  links:
    doi: "http://dx.doi.org/10.1016/j.jlap.2006.11.001"
  tags:
  - "program verification"
  - "functional programming"
  - "systematic-approach"
  - "transformation"
  - "program transformation"
  researchr: "https://researchr.org/publication/GKV07"
  cites: 0
  citedby: 0
  journal: "Journal of Logic and Algebraic Programming"
  volume: "71"
  number: "2"
  pages: "79-113"
  kind: "article"
  key: "GKV07"
- title: "Liveness in Rewriting"
  author:
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  - name: "Hans Zantema"
    link: "http://www.win.tue.nl/~hzantema/"
  year: "2003"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2706/27060321.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2706/27060321.htm"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/GieslZ03%3A0"
  cites: 0
  citedby: 0
  pages: "321-336"
  booktitle: "Rewriting Techniques and Applications, 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings"
  editor:
  - name: "Robert Nieuwenhuis"
    link: "https://researchr.org/alias/robert-nieuwenhuis"
  volume: "2706"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-40254-3"
  kind: "inproceedings"
  key: "GieslZ03:0"
- title: "Automated termination analysis for logic programs with cut"
  author:
  - name: "Peter Schneider-Kamp"
    link: "https://researchr.org/alias/peter-schneider-kamp"
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  - name: "Thomas Ströder"
    link: "https://researchr.org/alias/thomas-str%C3%B6der"
  - name: "Alexander Serebrenik"
    link: "http://www.win.tue.nl/~aserebre/"
  - name: "René Thiemann"
    link: "https://researchr.org/alias/ren%C3%A9-thiemann"
  year: "2010"
  doi: "http://dx.doi.org/10.1017/S1471068410000165"
  links:
    doi: "http://dx.doi.org/10.1017/S1471068410000165"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/tplp/Schneider-KampGSST10"
  tags:
  - "program analysis"
  - "analysis"
  - "termination"
  - "logic programming"
  - "logic"
  researchr: "https://researchr.org/publication/Schneider-KampGSST10"
  cites: 0
  citedby: 0
  journal: "TPLP"
  volume: "10"
  number: "4-6"
  pages: "365-381"
  kind: "article"
  key: "Schneider-KampGSST10"
- title: "Transformation techniques for context-sensitive rewrite systems"
  author:
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  - name: "Aart Middeldorp"
    link: "http://cl-informatik.uibk.ac.at/~ami/"
  year: "2004"
  doi: "http://dx.doi.org/10.1017/S0956796803004945"
  links:
    doi: "http://dx.doi.org/10.1017/S0956796803004945"
  tags:
  - "graph transformation"
  - "graph-rewriting"
  - "transformation system"
  - "context-aware"
  - "rewriting"
  - "transformation"
  researchr: "https://researchr.org/publication/GieslM04"
  cites: 0
  citedby: 0
  journal: "Journal of Functional Programming"
  volume: "14"
  number: "4"
  pages: "379-427"
  kind: "article"
  key: "GieslM04"
- title: "Improving Context-Sensitive Dependency Pairs"
  author:
  - name: "Beatriz Alarcón"
    link: "https://researchr.org/alias/beatriz-alarc%C3%B3n"
  - name: "Fabian Emmes"
    link: "https://researchr.org/alias/fabian-emmes"
  - name: "Carsten Fuhs"
    link: "https://researchr.org/alias/carsten-fuhs"
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  - name: "Raúl Gutiérrez"
    link: "https://researchr.org/alias/ra%C3%BAl-guti%C3%A9rrez"
  - name: "Salvador Lucas"
    link: "http://users.dsic.upv.es/~slucas/"
  - name: "Peter Schneider-Kamp"
    link: "https://researchr.org/alias/peter-schneider-kamp"
  - name: "René Thiemann"
    link: "https://researchr.org/alias/ren%C3%A9-thiemann"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-89439-1_44"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-89439-1_44"
  tags:
  - "context-aware"
  researchr: "https://researchr.org/publication/AlarconEFGGLST08"
  cites: 0
  citedby: 0
  pages: "636-651"
  booktitle: "Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings"
  editor:
  - name: "Iliano Cervesato"
    link: "https://researchr.org/alias/iliano-cervesato"
  - name: "Helmut Veith"
    link: "https://researchr.org/alias/helmut-veith"
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  volume: "5330"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-89438-4"
  kind: "inproceedings"
  key: "AlarconEFGGLST08"
- title: "Simulating liveness by reduction strategies"
  author:
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  - name: "Hans Zantema"
    link: "http://www.win.tue.nl/~hzantema/"
  year: "2003"
  doi: "http://www1.elsevier.com/gej-ng/31/29/23/135/49/show/Products/notes/index.htt#005"
  links:
    doi: "http://www1.elsevier.com/gej-ng/31/29/23/135/49/show/Products/notes/index.htt#005"
  researchr: "https://researchr.org/publication/GieslZ03"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "86"
  number: "4"
  pages: "641-656"
  kind: "article"
  key: "GieslZ03"
- title: "Innermost Termination of Context-Sensitive Rewriting"
  author:
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  - name: "Aart Middeldorp"
    link: "http://cl-informatik.uibk.ac.at/~ami/"
  year: "2002"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2450&spage=231"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2450&spage=231"
  tags:
  - "termination"
  - "graph-rewriting"
  - "context-aware"
  - "rewriting"
  researchr: "https://researchr.org/publication/GieslM02"
  cites: 0
  citedby: 0
  pages: "231-244"
  booktitle: "Developments in Language Theory, 6th International Conference, DLT 2002, Kyoto, Japan, September 18-21, 2002, Revised Papers"
  editor:
  - name: "Masami Ito"
    link: "https://researchr.org/alias/masami-ito"
  - name: "Masafumi Toyama"
    link: "https://researchr.org/alias/masafumi-toyama"
  volume: "2450"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-40431-7"
  kind: "inproceedings"
  key: "GieslM02"
- title: "Termination Analysis of Logic Programs Based on Dependency Graphs"
  author:
  - name: "Manh Thang Nguyen"
    link: "https://researchr.org/alias/manh-thang-nguyen"
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  - name: "Peter Schneider-Kamp"
    link: "https://researchr.org/alias/peter-schneider-kamp"
  - name: "Danny De Schreye"
    link: "https://researchr.org/alias/danny-de-schreye"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-78769-3_2"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-78769-3_2"
  tags:
  - "rule-based"
  - "program analysis"
  - "analysis"
  - "termination"
  - "graph-rewriting"
  - "logic programming"
  - "logic"
  - "rewriting logic"
  - "rewriting"
  researchr: "https://researchr.org/publication/NguyenGSS07"
  cites: 0
  citedby: 0
  pages: "8-22"
  booktitle: "Logic-Based Program Synthesis and Transformation, 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers"
  editor:
  - name: "Andy King"
    link: "https://researchr.org/alias/andy-king"
  volume: "4915"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-78768-6"
  kind: "inproceedings"
  key: "NguyenGSS07"
- title: "Termination Analysis by Inductive Evaluation"
  author:
  - name: "Jürgen Brauburger"
    link: "https://researchr.org/alias/j%C3%BCrgen-brauburger"
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  year: "1998"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1421/14210254.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1421/14210254.htm"
  tags:
  - "analysis"
  - "termination"
  researchr: "https://researchr.org/publication/BrauburgerG98"
  cites: 0
  citedby: 0
  pages: "254-269"
  booktitle: "Automated Deduction - CADE-15, 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings"
  editor:
  - name: "Claude Kirchner"
    link: "https://researchr.org/alias/claude-kirchner"
  - name: "Hélène Kirchner"
    link: "https://researchr.org/alias/h%C3%A9l%C3%A8ne-kirchner"
  volume: "1421"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-64675-2"
  kind: "inproceedings"
  key: "BrauburgerG98"
- title: "Approximating the Domains of Functional and Imperative Programs"
  author:
  - name: "Jürgen Brauburger"
    link: "https://researchr.org/alias/j%C3%BCrgen-brauburger"
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  year: "1999"
  tags:
  - "functional programming"
  researchr: "https://researchr.org/publication/BrauburgerG99"
  cites: 0
  citedby: 0
  journal: "Science of Computer Programming"
  volume: "35"
  number: "2"
  pages: "113-136"
  kind: "article"
  key: "BrauburgerG99"
- title: "Deciding Inductive Validity of Equations"
  author:
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  - name: "Deepak Kapur"
    link: "https://researchr.org/alias/deepak-kapur"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2741&spage=17"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2741&spage=17"
  researchr: "https://researchr.org/publication/GieslK03"
  cites: 0
  citedby: 0
  pages: "17-31"
  booktitle: "Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings"
  editor:
  - name: "Franz Baader"
    link: "https://researchr.org/alias/franz-baader"
  volume: "2741"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-40559-3"
  kind: "inproceedings"
  key: "GieslK03"
- title: "Termination of Nested and Mutually Recursive Algorithms"
  author:
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  year: "1997"
  tags:
  - "termination"
  researchr: "https://researchr.org/publication/Giesl97"
  cites: 0
  citedby: 0
  journal: "Journal of Automated Reasoning"
  volume: "19"
  number: "1"
  pages: "1-29"
  kind: "article"
  key: "Giesl97"
- title: "Preface"
  author:
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  - name: "Deepak Kapur"
    link: "https://researchr.org/alias/deepak-kapur"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/s10817-006-7237-0"
  links:
    doi: "http://dx.doi.org/10.1007/s10817-006-7237-0"
  researchr: "https://researchr.org/publication/GieslK05"
  cites: 0
  citedby: 0
  journal: "Journal of Automated Reasoning"
  volume: "34"
  number: "2"
  pages: "103-104"
  kind: "article"
  key: "GieslK05"
- title: "Decidable Classes of Inductive Theorems"
  author:
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  - name: "Deepak Kapur"
    link: "https://researchr.org/alias/deepak-kapur"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2083/20830469.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2083/20830469.htm"
  researchr: "https://researchr.org/publication/GieslK01"
  cites: 0
  citedby: 0
  pages: "469-484"
  booktitle: "Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings"
  editor:
  - name: "Rajeev Goré"
    link: "https://researchr.org/alias/rajeev-gor%C3%A9"
  - name: "Alexander Leitsch"
    link: "https://researchr.org/alias/alexander-leitsch"
  - name: "Tobias Nipkow"
    link: "https://researchr.org/alias/tobias-nipkow"
  volume: "2083"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-42254-4"
  kind: "inproceedings"
  key: "GieslK01"
- title: "Generating Polynomial Orderings for Termination Proofs"
  author:
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  year: "1995"
  tags:
  - "termination"
  researchr: "https://researchr.org/publication/Giesl95%3A0"
  cites: 0
  citedby: 0
  pages: "426-431"
  booktitle: "Rewriting Techniques and Applications, 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings"
  editor:
  - name: "Jieh Hsiang"
    link: "https://researchr.org/alias/jieh-hsiang"
  volume: "914"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-59200-8"
  kind: "inproceedings"
  key: "Giesl95:0"
- title: "Applying Rewriting Techniques to the Verification of Erlang Processes"
  author:
  - name: "Thomas Arts"
    link: "https://researchr.org/alias/thomas-arts"
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  year: "1999"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/ArtsG99"
  cites: 0
  citedby: 0
  pages: "96-110"
  booktitle: "Computer Science Logic, 13th International Workshop, CSL  99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings"
  editor:
  - name: "Jörg Flum"
    link: "https://researchr.org/alias/j%C3%B6rg-flum"
  - name: "Mario Rodríguez-Artalejo"
    link: "https://researchr.org/alias/mario-rodr%C3%ADguez-artalejo"
  volume: "1683"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-66536-6"
  kind: "inproceedings"
  key: "ArtsG99"
- title: "07401 Abstracts Collection -- Deduction and Decision Procedures"
  author:
  - name: "Franz Baader"
    link: "https://researchr.org/alias/franz-baader"
  - name: "Byron Cook"
    link: "https://researchr.org/alias/byron-cook"
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  - name: "Robert Nieuwenhuis"
    link: "https://researchr.org/alias/robert-nieuwenhuis"
  year: "2007"
  doi: "http://drops.dagstuhl.de/opus/volltexte/2007/1252"
  links:
    doi: "http://drops.dagstuhl.de/opus/volltexte/2007/1252"
  researchr: "https://researchr.org/publication/BaaderCGN07a"
  cites: 0
  citedby: 0
  booktitle: "Deduction and Decision Procedures, 30.09. - 05.10.2007"
  editor:
  - name: "Franz Baader"
    link: "https://researchr.org/alias/franz-baader"
  - name: "Byron Cook"
    link: "https://researchr.org/alias/byron-cook"
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  - name: "Robert Nieuwenhuis"
    link: "https://researchr.org/alias/robert-nieuwenhuis"
  volume: "07401"
  series: "Dagstuhl Seminar Proceedings"
  publisher: "Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany"
  kind: "inproceedings"
  key: "BaaderCGN07a"
- title: "Automated Termination Proofs with AProVE"
  author:
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  - name: "René Thiemann"
    link: "https://researchr.org/alias/ren%C3%A9-thiemann"
  - name: "Peter Schneider-Kamp"
    link: "https://researchr.org/alias/peter-schneider-kamp"
  - name: "Stephan Falke"
    link: "https://researchr.org/alias/stephan-falke"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3091&spage=210"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3091&spage=210"
  tags:
  - "termination"
  researchr: "https://researchr.org/publication/GieslTSF04"
  cites: 0
  citedby: 0
  pages: "210-220"
  booktitle: "Rewriting Techniques and Applications, 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings"
  editor:
  - name: "Vincent van Oostrom"
    link: "https://researchr.org/alias/vincent-van-oostrom"
  volume: "3091"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-22153-0"
  kind: "inproceedings"
  key: "GieslTSF04"
- title: "Termination Graphs for Java Bytecode"
  author:
  - name: "Marc Brockschmidt"
    link: "https://researchr.org/alias/marc-brockschmidt"
  - name: "Carsten Otto"
    link: "https://researchr.org/alias/carsten-otto"
  - name: "Christian von Essen"
    link: "https://researchr.org/alias/christian-von-essen"
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-17172-7_2"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-17172-7_2"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/birthday/BrockschmidtOEG10"
  tags:
  - "Java"
  - "termination"
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/BrockschmidtOEG10"
  cites: 0
  citedby: 0
  pages: "17-37"
  booktitle: "Verification, Induction, Termination Analysis - Festschrift for Christoph Walther on the Occasion of His 60th Birthday"
  editor:
  - name: "Simon Siegler"
    link: "https://researchr.org/alias/simon-siegler"
  - name: "Nathan Wasser"
    link: "https://researchr.org/alias/nathan-wasser"
  volume: "6463"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-17171-0"
  kind: "inproceedings"
  key: "BrockschmidtOEG10"
- title: "Preface"
  author:
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  year: "2008"
  doi: "http://dx.doi.org/10.1016/j.entcs.2008.03.049"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2008.03.049"
  researchr: "https://researchr.org/publication/Giesl08%3A0"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "204"
  pages: "1-2"
  kind: "article"
  key: "Giesl08:0"
- title: "Size-Change Termination for Term Rewriting"
  author:
  - name: "René Thiemann"
    link: "https://researchr.org/alias/ren%C3%A9-thiemann"
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  year: "2003"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2706/27060264.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2706/27060264.htm"
  tags:
  - "term rewriting"
  - "termination"
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/ThiemannG03"
  cites: 0
  citedby: 0
  pages: "264-278"
  booktitle: "Rewriting Techniques and Applications, 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings"
  editor:
  - name: "Robert Nieuwenhuis"
    link: "https://researchr.org/alias/robert-nieuwenhuis"
  volume: "2706"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-40254-3"
  kind: "inproceedings"
  key: "ThiemannG03"
- title: "07401 Executive Summary -- Deduction and Decision Procedures"
  author:
  - name: "Franz Baader"
    link: "https://researchr.org/alias/franz-baader"
  - name: "Byron Cook"
    link: "https://researchr.org/alias/byron-cook"
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  - name: "Robert Nieuwenhuis"
    link: "https://researchr.org/alias/robert-nieuwenhuis"
  year: "2007"
  doi: "http://drops.dagstuhl.de/opus/volltexte/2007/1251"
  links:
    doi: "http://drops.dagstuhl.de/opus/volltexte/2007/1251"
  researchr: "https://researchr.org/publication/BaaderCGN07"
  cites: 0
  citedby: 0
  booktitle: "Deduction and Decision Procedures, 30.09. - 05.10.2007"
  editor:
  - name: "Franz Baader"
    link: "https://researchr.org/alias/franz-baader"
  - name: "Byron Cook"
    link: "https://researchr.org/alias/byron-cook"
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  - name: "Robert Nieuwenhuis"
    link: "https://researchr.org/alias/robert-nieuwenhuis"
  volume: "07401"
  series: "Dagstuhl Seminar Proceedings"
  publisher: "Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany"
  kind: "inproceedings"
  key: "BaaderCGN07"
- title: "RTA 2005"
  author:
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.ic.2006.12.001"
  links:
    doi: "http://dx.doi.org/10.1016/j.ic.2006.12.001"
  researchr: "https://researchr.org/publication/Giesl07"
  cites: 0
  citedby: 0
  journal: "Inf. Comput."
  volume: "205"
  number: "4"
  pages: "417-418"
  kind: "article"
  key: "Giesl07"
- title: "The size-change principle and dependency pairs for termination of term rewriting"
  author:
  - name: "René Thiemann"
    link: "https://researchr.org/alias/ren%C3%A9-thiemann"
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/s00200-005-0179-7"
  links:
    doi: "http://dx.doi.org/10.1007/s00200-005-0179-7"
  tags:
  - "term rewriting"
  - "termination"
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/ThiemannG05"
  cites: 0
  citedby: 0
  journal: "Appl. Algebra Eng. Commun. Comput."
  volume: "16"
  number: "4"
  pages: "229-270"
  kind: "article"
  key: "ThiemannG05"
- title: "Termination Analysis for Partial Functions"
  author:
  - name: "Jürgen Brauburger"
    link: "https://researchr.org/alias/j%C3%BCrgen-brauburger"
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  year: "1996"
  tags:
  - "analysis"
  - "termination"
  researchr: "https://researchr.org/publication/BrauburgerG96"
  cites: 0
  citedby: 0
  pages: "113-127"
  booktitle: "Static Analysis, Third International Symposium, SAS 96, Aachen, Germany, September 24-26, 1996, Proceedings"
  editor:
  - name: "Radhia Cousot"
    link: "https://researchr.org/alias/radhia-cousot"
  - name: "David A. Schmidt"
    link: "https://researchr.org/alias/david-a.-schmidt"
  volume: "1145"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-61739-6"
  kind: "inproceedings"
  key: "BrauburgerG96"
- title: "Deaccumulation - Improving Provability"
  author:
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  - name: "Armin Kühnemann"
    link: "http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/K=uuml=hnemann:Armin.html"
  - name: "Janis Voigtländer"
    link: "http://www.iai.uni-bonn.de/~jv/"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2896&spage=146"
  abstract: "Several induction theorem provers were developed to verify              functional programs mechanically. Unfortunately, automated              verification usually fails for functions with accumulating              arguments. In particular, this holds for tail-recursive functions             that correspond to imperative programs, but also for programs with              nested recursion.             Based on results from the theory of tree transducers, we develop              an automatic transformation technique. It transforms accumulative              functional programs into non-accumulative ones, which are much              better suited for automated verification by induction theorem provers.              Hence, in contrast to classical program transformations aiming at              improving the efficiency, the goal of our deaccumulation technique is              to improve the provability."
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2896&spage=146"
    successor: "https://researchr.org/publication/GKV07"
  tags:
  - "rule-based"
  - "program verification"
  - "functional programming"
  - "transformation"
  - "program transformation"
  researchr: "https://researchr.org/publication/GKV03"
  cites: 0
  citedby: 0
  pages: "146-160"
  booktitle: "Advances in Computing Science - ASIAN 2003 Programming Languages and Distributed Computation, 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003, Proceedings"
  editor:
  - name: "Vijay A. Saraswat"
    link: "https://researchr.org/alias/vijay-a.-saraswat"
  volume: "2896"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-20632-9"
  kind: "inproceedings"
  key: "GKV03"
- title: "Termination of Constructor Systems"
  author:
  - name: "Thomas Arts"
    link: "https://researchr.org/alias/thomas-arts"
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  year: "1996"
  tags:
  - "termination"
  researchr: "https://researchr.org/publication/ArtsG96"
  cites: 0
  citedby: 0
  pages: "63-77"
  booktitle: "Rewriting Techniques and Applications, 7th International Conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996, Proceedings"
  editor:
  - name: "Harald Ganzinger"
    link: "https://researchr.org/alias/harald-ganzinger"
  volume: "1103"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-61464-8"
  kind: "inproceedings"
  key: "ArtsG96"
- title: "SAT Solving for Termination Analysis with Polynomial Interpretations"
  author:
  - name: "Carsten Fuhs"
    link: "https://researchr.org/alias/carsten-fuhs"
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  - name: "Aart Middeldorp"
    link: "https://researchr.org/alias/aart-middeldorp"
  - name: "Peter Schneider-Kamp"
    link: "https://researchr.org/alias/peter-schneider-kamp"
  - name: "René Thiemann"
    link: "https://researchr.org/alias/ren%C3%A9-thiemann"
  - name: "Harald Zankl"
    link: "https://researchr.org/alias/harald-zankl"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-72788-0_33"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-72788-0_33"
  tags:
  - "analysis"
  - "termination"
  researchr: "https://researchr.org/publication/FuhsGMSTZ07"
  cites: 0
  citedby: 0
  pages: "340-354"
  booktitle: "Theory and Applications of Satisfiability Testing - SAT 2007, 10th International Conference, Lisbon, Portugal, May 28-31, 2007, Proceedings"
  editor:
  - name: "João Marques-Silva"
    link: "https://researchr.org/alias/jo%C3%A3o-marques-silva"
  - name: "Karem A. Sakallah"
    link: "https://researchr.org/alias/karem-a.-sakallah"
  volume: "4501"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-72787-3"
  kind: "inproceedings"
  key: "FuhsGMSTZ07"
- title: "Modular Termination Proofs for Rewriting Using Dependency Pairs"
  author:
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  - name: "Thomas Arts"
    link: "https://researchr.org/alias/thomas-arts"
  - name: "Enno Ohlebusch"
    link: "https://researchr.org/alias/enno-ohlebusch"
  year: "2002"
  doi: "http://dx.doi.org/10.1006/jsco.2002.0541"
  links:
    doi: "http://dx.doi.org/10.1006/jsco.2002.0541"
  tags:
  - "termination"
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/GieslAO02"
  cites: 0
  citedby: 0
  journal: "Journal of Symbolic Computation"
  volume: "34"
  number: "1"
  pages: "21-58"
  kind: "article"
  key: "GieslAO02"
- title: "Improved Modular Termination Proofs Using Dependency Pairs"
  author:
  - name: "René Thiemann"
    link: "https://researchr.org/alias/ren%C3%A9-thiemann"
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  - name: "Peter Schneider-Kamp"
    link: "https://researchr.org/alias/peter-schneider-kamp"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3097&spage=75"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3097&spage=75"
  tags:
  - "termination"
  researchr: "https://researchr.org/publication/ThiemannGS04"
  cites: 0
  citedby: 0
  pages: "75-90"
  booktitle: "Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings"
  editor:
  - name: "David A. Basin"
    link: "https://researchr.org/alias/david-a.-basin"
  - name: "Michaël Rusinowitch"
    link: "https://researchr.org/alias/micha%C3%ABl-rusinowitch"
  volume: "3097"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-22345-2"
  kind: "inproceedings"
  key: "ThiemannGS04"
- title: "Proving Termination by Bounded Increase"
  author:
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  - name: "René Thiemann"
    link: "https://researchr.org/alias/ren%C3%A9-thiemann"
  - name: "Stephan Swiderski"
    link: "https://researchr.org/alias/stephan-swiderski"
  - name: "Peter Schneider-Kamp"
    link: "https://researchr.org/alias/peter-schneider-kamp"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-73595-3_33"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-73595-3_33"
  tags:
  - "termination"
  researchr: "https://researchr.org/publication/GieslTSS07"
  cites: 0
  citedby: 0
  pages: "443-459"
  booktitle: "Automated Deduction - CADE-21, 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings"
  editor:
  - name: "Frank Pfenning"
    link: "http://www.cs.cmu.edu/~fp/"
  volume: "4603"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-73594-6"
  kind: "inproceedings"
  key: "GieslTSS07"
- title: "Decision Procedures for Loop Detection"
  author:
  - name: "René Thiemann"
    link: "https://researchr.org/alias/ren%C3%A9-thiemann"
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  - name: "Peter Schneider-Kamp"
    link: "https://researchr.org/alias/peter-schneider-kamp"
  year: "2007"
  doi: "http://drops.dagstuhl.de/opus/volltexte/2007/1246"
  links:
    doi: "http://drops.dagstuhl.de/opus/volltexte/2007/1246"
  researchr: "https://researchr.org/publication/ThiemannGS07"
  cites: 0
  citedby: 0
  booktitle: "Deduction and Decision Procedures, 30.09. - 05.10.2007"
  editor:
  - name: "Franz Baader"
    link: "https://researchr.org/alias/franz-baader"
  - name: "Byron Cook"
    link: "https://researchr.org/alias/byron-cook"
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  - name: "Robert Nieuwenhuis"
    link: "https://researchr.org/alias/robert-nieuwenhuis"
  volume: "07401"
  series: "Dagstuhl Seminar Proceedings"
  publisher: "Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany"
  kind: "inproceedings"
  key: "ThiemannGS07"
- title: "Automated Termination Proofs with Measure Functions"
  author:
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  year: "1995"
  tags:
  - "termination"
  researchr: "https://researchr.org/publication/Giesl95"
  cites: 0
  citedby: 0
  pages: "149-160"
  booktitle: "KI-95: Advances in Artificial Intelligence, 19th Annual German Conference on Artificial Intelligence, Bielefeld, Germany, September 11-13, 1995, Proceedings"
  editor:
  - name: "Ipke Wachsmuth"
    link: "https://researchr.org/alias/ipke-wachsmuth"
  - name: "Claus-Rainer Rollinger"
    link: "https://researchr.org/alias/claus-rainer-rollinger"
  - name: "Wilfried Brauer"
    link: "https://researchr.org/alias/wilfried-brauer"
  volume: "981"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-60343-3"
  kind: "inproceedings"
  key: "Giesl95"
- title: "Transforming Context-Sensitive Rewrite Systems"
  author:
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  - name: "Aart Middeldorp"
    link: "http://cl-informatik.uibk.ac.at/~ami/"
  year: "1999"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1631/16310271.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1631/16310271.htm"
  tags:
  - "graph-rewriting"
  - "context-aware"
  - "rewriting"
  researchr: "https://researchr.org/publication/GieslM99"
  cites: 0
  citedby: 0
  pages: "271-287"
  booktitle: "Rewriting Techniques and Applications, 10th International Conference, RTA-99, Trento, Italy, July 2-4, 1999, Proceedings"
  editor:
  - name: "Paliath Narendran"
    link: "https://researchr.org/alias/paliath-narendran"
  - name: "Michaël Rusinowitch"
    link: "https://researchr.org/alias/micha%C3%ABl-rusinowitch"
  volume: "1631"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-66201-4"
  kind: "inproceedings"
  key: "GieslM99"
- title: "Termination of Programs using Term Rewriting and SAT Solving"
  author:
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  - name: "Peter Schneider-Kamp"
    link: "https://researchr.org/alias/peter-schneider-kamp"
  - name: "René Thiemann"
    link: "https://researchr.org/alias/ren%C3%A9-thiemann"
  - name: "Stephan Swiderski"
    link: "https://researchr.org/alias/stephan-swiderski"
  - name: "Manh Thang Nguyen"
    link: "https://researchr.org/alias/manh-thang-nguyen"
  - name: "Danny De Schreye"
    link: "http://people.cs.kuleuven.be/~danny.deschreye/"
  - name: "Alexander Serebrenik"
    link: "http://www.win.tue.nl/~aserebre/"
  year: "2007"
  doi: "http://drops.dagstuhl.de/opus/volltexte/2007/1248"
  links:
    doi: "http://drops.dagstuhl.de/opus/volltexte/2007/1248"
  tags:
  - "term rewriting"
  - "termination"
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/GieslSTSNSS07"
  cites: 0
  citedby: 0
  booktitle: "Deduction and Decision Procedures, 30.09. - 05.10.2007"
  editor:
  - name: "Franz Baader"
    link: "https://researchr.org/alias/franz-baader"
  - name: "Byron Cook"
    link: "https://researchr.org/alias/byron-cook"
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  - name: "Robert Nieuwenhuis"
    link: "https://researchr.org/alias/robert-nieuwenhuis"
  volume: "07401"
  series: "Dagstuhl Seminar Proceedings"
  publisher: "Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany"
  kind: "inproceedings"
  key: "GieslSTSNSS07"
- title: "Termination of term rewriting using dependency pairs"
  author:
  - name: "Thomas Arts"
    link: "https://researchr.org/alias/thomas-arts"
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  year: "2000"
  doi: "http://dx.doi.org/10.1016/S0304-3975(99)00207-8"
  links:
    doi: "http://dx.doi.org/10.1016/S0304-3975(99)00207-8"
  tags:
  - "term rewriting"
  - "termination"
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/ArtsG00"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "236"
  number: "1-2"
  pages: "133-178"
  kind: "article"
  key: "ArtsG00"
- title: "Deciding Innermost Loops"
  author:
  - name: "René Thiemann"
    link: "https://researchr.org/alias/ren%C3%A9-thiemann"
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  - name: "Peter Schneider-Kamp"
    link: "https://researchr.org/alias/peter-schneider-kamp"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-70590-1_25"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-70590-1_25"
  researchr: "https://researchr.org/publication/ThiemannGS08"
  cites: 0
  citedby: 0
  pages: "366-380"
  booktitle: "Rewriting Techniques and Applications, 19th International Conference, RTA 2008, Hagenberg, Austria, July 15-17, 2008, Proceedings"
  editor:
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  volume: "5117"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-70588-8"
  kind: "inproceedings"
  key: "ThiemannGS08"
- title: "Automated Termination Analysis for Haskell: From Term Rewriting to Programming Languages"
  author:
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  - name: "Stephan Swiderski"
    link: "https://researchr.org/alias/stephan-swiderski"
  - name: "Peter Schneider-Kamp"
    link: "https://researchr.org/alias/peter-schneider-kamp"
  - name: "René Thiemann"
    link: "https://researchr.org/alias/ren%C3%A9-thiemann"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11805618_23"
  links:
    doi: "http://dx.doi.org/10.1007/11805618_23"
  tags:
  - "programming languages"
  - "program analysis"
  - "term rewriting"
  - "analysis"
  - "Haskell"
  - "termination"
  - "graph-rewriting"
  - "programming"
  - "rewriting"
  researchr: "https://researchr.org/publication/GieslSST06"
  cites: 0
  citedby: 0
  pages: "297-312"
  booktitle: "Term Rewriting and Applications, 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings"
  editor:
  - name: "Frank Pfenning"
    link: "http://www.cs.cmu.edu/~fp/"
  volume: "4098"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-36834-5"
  kind: "inproceedings"
  key: "GieslSST06"
- title: "Automatically Proving Termination Where Simplification Orderings Fail"
  author:
  - name: "Thomas Arts"
    link: "https://researchr.org/alias/thomas-arts"
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  year: "1997"
  tags:
  - "termination"
  researchr: "https://researchr.org/publication/ArtsG97"
  cites: 0
  citedby: 0
  pages: "261-272"
  booktitle: "TAPSOFT 97: Theory and Practice of Software Development, 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings"
  editor:
  - name: "Michel Bidoit"
    link: "https://researchr.org/alias/michel-bidoit"
  - name: "Max Dauchet"
    link: "https://researchr.org/alias/max-dauchet"
  volume: "1214"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-62781-2"
  kind: "inproceedings"
  key: "ArtsG97"
- title: "Proving and Disproving Termination of Higher-Order Functions"
  author:
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  - name: "René Thiemann"
    link: "https://researchr.org/alias/ren%C3%A9-thiemann"
  - name: "Peter Schneider-Kamp"
    link: "https://researchr.org/alias/peter-schneider-kamp"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11559306_12"
  links:
    doi: "http://dx.doi.org/10.1007/11559306_12"
  tags:
  - "termination"
  researchr: "https://researchr.org/publication/GieslTS05%3A0"
  cites: 0
  citedby: 0
  pages: "216-231"
  booktitle: "Frontiers of Combining Systems, 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings"
  editor:
  - name: "Bernhard Gramlich"
    link: "http://www.logic.at/staff/gramlich/"
  volume: "3717"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-29051-6"
  kind: "inproceedings"
  key: "GieslTS05:0"
- title: "Proving Termination of Integer Term Rewriting"
  author:
  - name: "Carsten Fuhs"
    link: "https://researchr.org/alias/carsten-fuhs"
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  - name: "Martin Plücker"
    link: "https://researchr.org/alias/martin-pl%C3%BCcker"
  - name: "Peter Schneider-Kamp"
    link: "https://researchr.org/alias/peter-schneider-kamp"
  - name: "Stephan Falke"
    link: "https://researchr.org/alias/stephan-falke"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-02348-4_3"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-02348-4_3"
  tags:
  - "term rewriting"
  - "termination"
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/FuhsGPSF09"
  cites: 0
  citedby: 0
  pages: "32-47"
  booktitle: "Rewriting Techniques and Applications, 20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009, Proceedings"
  editor:
  - name: "Ralf Treinen"
    link: "https://researchr.org/alias/ralf-treinen"
  volume: "5595"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-02347-7"
  kind: "inproceedings"
  key: "FuhsGPSF09"
- title: "The Dependency Triple Framework for Termination of Logic Programs"
  author:
  - name: "Peter Schneider-Kamp"
    link: "https://researchr.org/alias/peter-schneider-kamp"
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  - name: "Manh Thang Nguyen"
    link: "https://researchr.org/alias/manh-thang-nguyen"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-12592-8_4"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-12592-8_4"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/lopstr/Schneider-KampGN09"
  tags:
  - "termination"
  - "logic programming"
  - "logic"
  researchr: "https://researchr.org/publication/Schneider-KampGN09"
  cites: 0
  citedby: 0
  pages: "37-51"
  booktitle: "Logic-Based Program Synthesis and Transformation, 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers"
  editor:
  - name: "Danny De Schreye"
    link: "https://researchr.org/alias/danny-de-schreye"
  volume: "6037"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-12591-1"
  kind: "inproceedings"
  key: "Schneider-KampGN09"
- title: "The Dependency Pair Framework: Combining Techniques for Automated Termination Proofs"
  author:
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  - name: "René Thiemann"
    link: "https://researchr.org/alias/ren%C3%A9-thiemann"
  - name: "Peter Schneider-Kamp"
    link: "https://researchr.org/alias/peter-schneider-kamp"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3452&spage=301"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3452&spage=301"
  tags:
  - "termination"
  researchr: "https://researchr.org/publication/GieslTS04"
  cites: 0
  citedby: 0
  pages: "301-331"
  booktitle: "Logic for Programming, Artificial Intelligence, and Reasoning, 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings"
  editor:
  - name: "Franz Baader"
    link: "https://researchr.org/alias/franz-baader"
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  volume: "3452"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-25236-3"
  kind: "inproceedings"
  key: "GieslTS04"
- title: "Mechanizing and Improving Dependency Pairs"
  author:
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  - name: "René Thiemann"
    link: "https://researchr.org/alias/ren%C3%A9-thiemann"
  - name: "Peter Schneider-Kamp"
    link: "https://researchr.org/alias/peter-schneider-kamp"
  - name: "Stephan Falke"
    link: "https://researchr.org/alias/stephan-falke"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/s10817-006-9057-7"
  links:
    doi: "http://dx.doi.org/10.1007/s10817-006-9057-7"
  researchr: "https://researchr.org/publication/GieslTSF06"
  cites: 0
  citedby: 0
  journal: "Journal of Automated Reasoning"
  volume: "37"
  number: "3"
  pages: "155-203"
  kind: "article"
  key: "GieslTSF06"
- title: "Automatic Termination Proofs in the Dependency Pair Framework"
  author:
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  - name: "Peter Schneider-Kamp"
    link: "https://researchr.org/alias/peter-schneider-kamp"
  - name: "René Thiemann"
    link: "https://researchr.org/alias/ren%C3%A9-thiemann"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11814771_24"
  links:
    doi: "http://dx.doi.org/10.1007/11814771_24"
  tags:
  - "termination"
  researchr: "https://researchr.org/publication/GieslST06"
  cites: 0
  citedby: 0
  pages: "281-286"
  booktitle: "Automated Reasoning, Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings"
  editor:
  - name: "Ulrich Furbach"
    link: "https://researchr.org/alias/ulrich-furbach"
  - name: "Natarajan Shankar"
    link: "https://researchr.org/alias/natarajan-shankar"
  volume: "4130"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-37187-7"
  kind: "inproceedings"
  key: "GieslST06"
- title: "Automated Termination Analysis for Logic Programs by Term Rewriting"
  author:
  - name: "Peter Schneider-Kamp"
    link: "https://researchr.org/alias/peter-schneider-kamp"
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  - name: "Alexander Serebrenik"
    link: "http://www.win.tue.nl/~aserebre/"
  - name: "René Thiemann"
    link: "https://researchr.org/alias/ren%C3%A9-thiemann"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/978-3-540-71410-1_13"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-71410-1_13"
  tags:
  - "program analysis"
  - "term rewriting"
  - "analysis"
  - "termination"
  - "graph-rewriting"
  - "logic programming"
  - "logic"
  - "rewriting logic"
  - "rewriting"
  researchr: "https://researchr.org/publication/Schneider-KampGST06"
  cites: 0
  citedby: 0
  pages: "177-193"
  booktitle: "Logic-Based Program Synthesis and Transformation, 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers"
  editor:
  - name: "Germán Puebla"
    link: "https://researchr.org/alias/germ%C3%A1n-puebla"
  volume: "4407"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-71409-5"
  kind: "inproceedings"
  key: "Schneider-KampGST06"
- title: "Automated Termination Analysis of Java Bytecode by Term Rewriting"
  author:
  - name: "Carsten Otto"
    link: "https://researchr.org/alias/carsten-otto"
  - name: "Marc Brockschmidt"
    link: "https://researchr.org/alias/marc-brockschmidt"
  - name: "Christian von Essen"
    link: "https://researchr.org/alias/christian-von-essen"
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  year: "2010"
  doi: "http://dx.doi.org/10.4230/LIPIcs.RTA.2010.259"
  links:
    doi: "http://dx.doi.org/10.4230/LIPIcs.RTA.2010.259"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/rta/OttoBEG10"
  tags:
  - "Java"
  - "term rewriting"
  - "analysis"
  - "termination"
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/OttoBEG10"
  cites: 0
  citedby: 0
  pages: "259-276"
  booktitle: "Proceedings of the 21st International Conference on Rewriting Techniques and Applications, RTA 2010, July 11-13, 2010, Edinburgh, Scottland, UK"
  editor:
  - name: "Christopher Lynch"
    link: "https://researchr.org/alias/christopher-lynch"
  volume: "6"
  series: "LIPIcs"
  publisher: "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik"
  isbn: "978-3-939897-18-7"
  kind: "inproceedings"
  key: "OttoBEG10"
- title: "Adding constants to string rewriting"
  author:
  - name: "René Thiemann"
    link: "https://researchr.org/alias/ren%C3%A9-thiemann"
  - name: "Hans Zantema"
    link: "http://www.win.tue.nl/~hzantema/"
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  - name: "Peter Schneider-Kamp"
    link: "https://researchr.org/alias/peter-schneider-kamp"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/s00200-008-0060-6"
  links:
    doi: "http://dx.doi.org/10.1007/s00200-008-0060-6"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/ThiemannZGS08"
  cites: 0
  citedby: 0
  journal: "Appl. Algebra Eng. Commun. Comput."
  volume: "19"
  number: "1"
  pages: "27-38"
  kind: "article"
  key: "ThiemannZGS08"
- title: "Proving Termination Using Recursive Path Orders and SAT Solving"
  author:
  - name: "Peter Schneider-Kamp"
    link: "https://researchr.org/alias/peter-schneider-kamp"
  - name: "René Thiemann"
    link: "https://researchr.org/alias/ren%C3%A9-thiemann"
  - name: "Elena Annov"
    link: "https://researchr.org/alias/elena-annov"
  - name: "Michael Codish"
    link: "https://researchr.org/alias/michael-codish"
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-74621-8_18"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-74621-8_18"
  tags:
  - "termination"
  researchr: "https://researchr.org/publication/Schneider-KampTACG07"
  cites: 0
  citedby: 0
  pages: "267-282"
  booktitle: "Frontiers of Combining Systems, 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007, Proceedings"
  editor:
  - name: "Boris Konev"
    link: "https://researchr.org/alias/boris-konev"
  - name: "Frank Wolter"
    link: "https://researchr.org/alias/frank-wolter"
  volume: "4720"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-74620-1"
  kind: "inproceedings"
  key: "Schneider-KampTACG07"
- title: "Term Rewriting and Applications, 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings"
  year: "2005"
  tags:
  - "term rewriting"
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/rta%3A2005"
  cites: 0
  citedby: 0
  booktitle: "Term Rewriting and Applications, 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings"
  conference: "RTA"
  editor:
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  volume: "3467"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-25596-6"
  kind: "proceedings"
  key: "rta:2005"
- title: "Automated Reasoning, 5th International Joint Conference, IJCAR 2010, Edinburgh,UK, July 16-19, 2010. Proceedings"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-14203-1"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-14203-1"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/cade/2010"
  researchr: "https://researchr.org/publication/cade-2010"
  cites: 0
  citedby: 0
  booktitle: "Automated Reasoning, 5th International Joint Conference, IJCAR 2010, Edinburgh,UK, July 16-19, 2010. Proceedings"
  conference: "cade"
  editor:
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  - name: "Reiner Hähnle"
    link: "https://researchr.org/alias/reiner-h%C3%A4hnle"
  volume: "6173"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-14202-4"
  kind: "proceedings"
  key: "cade-2010"
- title: "Deduction and Decision Procedures, 30.09. - 05.10.2007"
  year: "2007"
  researchr: "https://researchr.org/publication/dagstuhl%3A2007P7401"
  cites: 0
  citedby: 0
  booktitle: "Deduction and Decision Procedures, 30.09. - 05.10.2007"
  conference: "Dagstuhl"
  editor:
  - name: "Franz Baader"
    link: "https://researchr.org/alias/franz-baader"
  - name: "Byron Cook"
    link: "https://researchr.org/alias/byron-cook"
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  - name: "Robert Nieuwenhuis"
    link: "https://researchr.org/alias/robert-nieuwenhuis"
  volume: "07401"
  series: "Dagstuhl Seminar Proceedings"
  publisher: "Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany"
  kind: "proceedings"
  key: "dagstuhl:2007P7401"