publications:
- title: "3rd International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2003) - Final Proceedings"
  author:
  - name: "Bernhard Gramlich"
    link: "http://www.logic.at/staff/gramlich/"
  - name: "Salvador Lucas"
    link: "http://users.dsic.upv.es/~slucas/"
  year: "2003"
  doi: "http://www1.elsevier.com/gej-ng/31/29/23/135/49/show/Products/notes/index.htt#001"
  links:
    doi: "http://www1.elsevier.com/gej-ng/31/29/23/135/49/show/Products/notes/index.htt#001"
  tags:
  - "graph-rewriting"
  - "programming"
  - "rewriting"
  - "rewriting strategies"
  researchr: "https://researchr.org/publication/GramlichL03"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "86"
  number: "4"
  pages: "567-569"
  kind: "article"
  key: "GramlichL03"
- title: "Relating Innermost, Weak, Uniform and Modular Termination of Term Rewriting Systems"
  author:
  - name: "Bernhard Gramlich"
    link: "http://www.logic.at/staff/gramlich/"
  year: "1992"
  tags:
  - "term rewriting"
  - "termination"
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/Gramlich92"
  cites: 0
  citedby: 0
  pages: "285-296"
  booktitle: "Logic Programming and Automated Reasoning,International Conference LPAR 92, St. Petersburg, Russia, July 15-20, 1992, Proceedings"
  editor:
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  volume: "624"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-55727-X"
  kind: "inproceedings"
  key: "Gramlich92"
- title: "1st International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2001) - Preface"
  author:
  - name: "Bernhard Gramlich"
    link: "http://www.logic.at/staff/gramlich/"
  - name: "Salvador Lucas"
    link: "http://users.dsic.upv.es/~slucas/"
  year: "2001"
  doi: "http://www.elsevier.nl/locate/entcs/volume57.html"
  links:
    doi: "http://www.elsevier.nl/locate/entcs/volume57.html"
  tags:
  - "graph-rewriting"
  - "programming"
  - "rewriting"
  - "rewriting strategies"
  researchr: "https://researchr.org/publication/GramlichL01"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "57"
  pages: "201-202"
  kind: "article"
  key: "GramlichL01"
- title: "On Termination and Confluence of Conditional Rewrite Systems"
  author:
  - name: "Bernhard Gramlich"
    link: "http://www.logic.at/staff/gramlich/"
  year: "1994"
  tags:
  - "termination"
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/Gramlich94%3A0"
  cites: 0
  citedby: 0
  pages: "166-185"
  booktitle: "Conditional and Typed Rewriting Systems, 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994, Proceedings"
  editor:
  - name: "Nachum Dershowitz"
    link: "https://researchr.org/alias/nachum-dershowitz"
  - name: "Naomi Lindenstrauss"
    link: "https://researchr.org/alias/naomi-lindenstrauss"
  volume: "968"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-60381-6"
  kind: "inproceedings"
  key: "Gramlich94:0"
- title: "Generalized Sufficient Conditions for Modular Termination of Rewriting"
  author:
  - name: "Bernhard Gramlich"
    link: "http://www.logic.at/staff/gramlich/"
  year: "1992"
  tags:
  - "termination"
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/Gramlich92%3A1"
  cites: 0
  citedby: 0
  pages: "53-68"
  booktitle: "Algebraic and Logic Programming, Third International Conference, Volterra, Italy, September 2-4, 1992, Proceedings"
  editor:
  - name: "Hélène Kirchner"
    link: "https://researchr.org/alias/h%C3%A9l%C3%A8ne-kirchner"
  - name: "Giorgio Levi"
    link: "https://researchr.org/alias/giorgio-levi"
  volume: "632"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-55873-X"
  kind: "inproceedings"
  key: "Gramlich92:1"
- title: "A Framework for Timed Concurrent Constraint Programming with External Functions"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Bernhard Gramlich"
    link: "http://www.logic.at/staff/gramlich/"
  - name: "Alicia Villanueva"
    link: "https://researchr.org/alias/alicia-villanueva"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.entcs.2007.05.043"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2007.05.043"
  tags:
  - "constraints"
  - "programming"
  researchr: "https://researchr.org/publication/AlpuenteGV07"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "188"
  pages: "143-155"
  kind: "article"
  key: "AlpuenteGV07"
- title: "TRSPEC: A Term Rewriting Based System for Algebraic Specifications"
  author:
  - name: "Jürgen Avenhaus"
    link: "https://researchr.org/alias/j%C3%BCrgen-avenhaus"
  - name: "Richard Göbel"
    link: "https://researchr.org/alias/richard-g%C3%B6bel"
  - name: "Bernhard Gramlich"
    link: "http://www.logic.at/staff/gramlich/"
  - name: "Klaus Madlener"
    link: "https://researchr.org/alias/klaus-madlener"
  - name: "Joachim Steinbach"
    link: "https://researchr.org/alias/joachim-steinbach"
  year: "1987"
  tags:
  - "rule-based"
  - "term rewriting"
  - "graph-rewriting"
  - "algebraic specification"
  - " algebra"
  - "rewriting"
  researchr: "https://researchr.org/publication/AvenhausGGMS87"
  cites: 0
  citedby: 0
  pages: "245-248"
  booktitle: "Conditional Term Rewriting Systems, 1st International Workshop, Orsay, France, July 8-10, 1987, Proceedings"
  editor:
  - name: "Stéphane Kaplan"
    link: "https://researchr.org/alias/st%C3%A9phane-kaplan"
  - name: "Jean-Pierre Jouannaud"
    link: "https://researchr.org/alias/jean-pierre-jouannaud"
  volume: "308"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-19242-5"
  kind: "inproceedings"
  key: "AvenhausGGMS87"
- title: "Abstract Relations between Restricted Termination and Confluence Properties of Rewrite Systems"
  author:
  - name: "Bernhard Gramlich"
    link: "http://www.logic.at/staff/gramlich/"
  year: "1995"
  tags:
  - "termination"
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/Gramlich95"
  cites: 0
  citedby: 0
  journal: "Fundamenta Informaticae"
  volume: "24"
  number: "1/2"
  pages: "2-23"
  kind: "article"
  key: "Gramlich95"
- title: "On Notions of Inductive Validity for First-Oder Equational Clauses"
  author:
  - name: "Claus-Peter Wirth"
    link: "https://researchr.org/alias/claus-peter-wirth"
  - name: "Bernhard Gramlich"
    link: "http://www.logic.at/staff/gramlich/"
  year: "1994"
  researchr: "https://researchr.org/publication/WirthG94%3A0"
  cites: 0
  citedby: 0
  pages: "162-176"
  booktitle: "Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994, Proceedings"
  editor:
  - name: "Alan Bundy"
    link: "https://researchr.org/alias/alan-bundy"
  volume: "814"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-58156-1"
  kind: "inproceedings"
  key: "WirthG94:0"
- title: "Simple Termination Difficult"
  author:
  - name: "Aart Middeldorp"
    link: "http://cl-informatik.uibk.ac.at/~ami/"
  - name: "Bernhard Gramlich"
    link: "http://www.logic.at/staff/gramlich/"
  year: "1995"
  tags:
  - "termination"
  researchr: "https://researchr.org/publication/MiddeldorpG95"
  cites: 0
  citedby: 0
  journal: "Appl. Algebra Eng. Commun. Comput."
  volume: "6"
  pages: "115-128"
  kind: "article"
  key: "MiddeldorpG95"
- title: "Confluence without Termination via Parallel Critical Pairs"
  author:
  - name: "Bernhard Gramlich"
    link: "http://www.logic.at/staff/gramlich/"
  year: "1996"
  tags:
  - "termination"
  researchr: "https://researchr.org/publication/Gramlich96%3A0"
  cites: 0
  citedby: 0
  pages: "211-225"
  booktitle: "Trees in Algebra and Programming - CAAP 96, 21st International Colloquium, Linköping, Sweden, April, 22-24, 1996, Proceedings"
  editor:
  - name: "Hélène Kirchner"
    link: "https://researchr.org/alias/h%C3%A9l%C3%A8ne-kirchner"
  volume: "1059"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-61064-2"
  kind: "inproceedings"
  key: "Gramlich96:0"
- title: "Algorithmic Aspects of Herbrand Models Represented by Ground Atoms with Ground Equations"
  author:
  - name: "Bernhard Gramlich"
    link: "http://www.logic.at/staff/gramlich/"
  - name: "Reinhard Pichler"
    link: "https://researchr.org/alias/reinhard-pichler"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2392/23920241.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2392/23920241.htm"
  researchr: "https://researchr.org/publication/GramlichP02"
  cites: 0
  citedby: 0
  pages: "241-259"
  booktitle: "Automated Deduction - CADE-18, 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings"
  editor:
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  volume: "2392"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-43931-5"
  kind: "inproceedings"
  key: "GramlichP02"
- title: "Generalizing Newman s Lemma for Left-Linear Rewrite Systems"
  author:
  - name: "Bernhard Gramlich"
    link: "http://www.logic.at/staff/gramlich/"
  - name: "Salvador Lucas"
    link: "https://researchr.org/alias/salvador-lucas"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11805618_6"
  links:
    doi: "http://dx.doi.org/10.1007/11805618_6"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/GramlichL06"
  cites: 0
  citedby: 0
  pages: "66-80"
  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: "GramlichL06"
- title: "On interreduction of semi-complete term rewriting systems"
  author:
  - name: "Bernhard Gramlich"
    link: "http://www.logic.at/staff/gramlich/"
  year: "2001"
  doi: "http://dx.doi.org/10.1016/S0304-3975(00)00030-X"
  links:
    doi: "http://dx.doi.org/10.1016/S0304-3975(00)00030-X"
  tags:
  - "completeness"
  - "term rewriting"
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/Gramlich01"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "258"
  number: "1-2"
  pages: "435-451"
  kind: "article"
  key: "Gramlich01"
- title: "Improving On-Demand Strategy Annotations"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Santiago Escobar"
    link: "https://researchr.org/alias/santiago-escobar"
  - name: "Bernhard Gramlich"
    link: "http://www.logic.at/staff/gramlich/"
  - name: "Salvador Lucas"
    link: "http://users.dsic.upv.es/~slucas/"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2514/25140001.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2514/25140001.htm"
  researchr: "https://researchr.org/publication/AlpuenteEGL02"
  cites: 0
  citedby: 0
  pages: "1-18"
  booktitle: "Logic for Programming, Artificial Intelligence, and Reasoning, 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002, Proceedings"
  editor:
  - name: "Matthias Baaz"
    link: "https://researchr.org/alias/matthias-baaz"
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  volume: "2514"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-00010-0"
  kind: "inproceedings"
  key: "AlpuenteEGL02"
- title: "A Note on a Parameterized Version of the Well-Founded Induction Pricible"
  author:
  - name: "Bernhard Gramlich"
    link: "http://www.logic.at/staff/gramlich/"
  year: "1994"
  researchr: "https://researchr.org/publication/Gramlich94"
  cites: 0
  citedby: 0
  journal: "Bulletin of the EATCS"
  volume: "52"
  pages: "274-277"
  kind: "article"
  key: "Gramlich94"
- title: "UNICOM: A Refined Completion Based Inductive Theorem Prover"
  author:
  - name: "Bernhard Gramlich"
    link: "http://www.logic.at/staff/gramlich/"
  year: "1990"
  tags:
  - "rule-based"
  researchr: "https://researchr.org/publication/Gramlich90%3A0"
  cites: 0
  citedby: 0
  pages: "655-656"
  booktitle: "10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990, Proceedings"
  editor:
  - name: "Mark E. Stickel"
    link: "https://researchr.org/alias/mark-e.-stickel"
  volume: "449"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-52885-7"
  kind: "inproceedings"
  key: "Gramlich90:0"
- title: "Preface"
  author:
  - name: "Bernhard Gramlich"
    link: "http://www.logic.at/staff/gramlich/"
  - name: "Salvador Lucas"
    link: "http://users.dsic.upv.es/~slucas/"
  year: "2002"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/125/47/show/Products/notes/index.htt#001"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/125/47/show/Products/notes/index.htt#001"
  researchr: "https://researchr.org/publication/GramlichL02%3A0"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "70"
  number: "6"
  pages: "196-197"
  kind: "article"
  key: "GramlichL02:0"
- title: "Frontiers of Combining Systems, 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings"
  year: "2005"
  researchr: "https://researchr.org/publication/frocos%3A2005"
  cites: 0
  citedby: 0
  booktitle: "Frontiers of Combining Systems, 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings"
  conference: "frocos"
  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: "proceedings"
  key: "frocos:2005"