publications:
- title: "Abstract Correction of OBJ-like Programs"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Demis Ballis"
    link: "https://researchr.org/alias/demis-ballis"
  - name: "Santiago Escobar"
    link: "https://researchr.org/alias/santiago-escobar"
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  - name: "Salvador Lucas"
    link: "http://users.dsic.upv.es/~slucas/"
  year: "2003"
  researchr: "https://researchr.org/publication/AlpuenteBEFL03"
  cites: 0
  citedby: 0
  pages: "422-433"
  booktitle: "agp"
  kind: "inproceedings"
  key: "AlpuenteBEFL03"
- title: "Termination of Context-Sensitive Rewriting by Rewriting"
  author:
  - name: "Salvador Lucas"
    link: "http://users.dsic.upv.es/~slucas/"
  year: "1996"
  tags:
  - "termination"
  - "graph-rewriting"
  - "context-aware"
  - "rewriting"
  researchr: "https://researchr.org/publication/Lucas96%3A0"
  cites: 0
  citedby: 0
  pages: "122-133"
  booktitle: "icalp"
  kind: "inproceedings"
  key: "Lucas96:0"
- title: "Proving operational termination of membership equational programs"
  author:
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Salvador Lucas"
    link: "http://users.dsic.upv.es/~slucas/"
  - name: "Claude Marché"
    link: "https://researchr.org/alias/claude-march%C3%A9"
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  - name: "Xavier Urbain"
    link: "https://researchr.org/alias/xavier-urbain"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/s10990-008-9028-2"
  links:
    doi: "http://dx.doi.org/10.1007/s10990-008-9028-2"
  tags:
  - "termination"
  researchr: "https://researchr.org/publication/DuranLMMU08"
  cites: 0
  citedby: 0
  journal: "lisp"
  volume: "21"
  number: "1-2"
  pages: "59-88"
  kind: "article"
  key: "DuranLMMU08"
- title: "Redundant arguments in infinitary rewriting"
  author:
  - name: "Salvador Lucas"
    link: "http://users.dsic.upv.es/~slucas/"
  year: "2000"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/Lucas00a"
  cites: 0
  citedby: 0
  pages: "340-343"
  booktitle: "wflp"
  kind: "inproceedings"
  key: "Lucas00a"
- title: "A New Proposal of Concurrent Process Calculus"
  author:
  - name: "Salvador Lucas"
    link: "http://users.dsic.upv.es/~slucas/"
  - name: "Javier Oliver"
    link: "https://researchr.org/alias/javier-oliver"
  year: "1996"
  researchr: "https://researchr.org/publication/LucasO96"
  cites: 0
  citedby: 0
  pages: "385-392"
  booktitle: "sofsem"
  kind: "inproceedings"
  key: "LucasO96"
- title: "Recursive Path Orderings Can Be Context-Sensitive"
  author:
  - name: "Cristina Borralleras"
    link: "https://researchr.org/alias/cristina-borralleras"
  - name: "Salvador Lucas"
    link: "http://users.dsic.upv.es/~slucas/"
  - name: "Albert Rubio"
    link: "https://researchr.org/alias/albert-rubio"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2392/23920314.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2392/23920314.htm"
  tags:
  - "context-aware"
  researchr: "https://researchr.org/publication/BorrallerasLR02"
  cites: 0
  citedby: 0
  pages: "314-331"
  booktitle: "cade"
  kind: "inproceedings"
  key: "BorrallerasLR02"
- title: "Fundamentals of Context=Sensitive Rewriting"
  author:
  - name: "Salvador Lucas"
    link: "http://users.dsic.upv.es/~slucas/"
  year: "1995"
  tags:
  - "graph-rewriting"
  - "context-aware"
  - "rewriting"
  researchr: "https://researchr.org/publication/Lucas95%3A0"
  cites: 0
  citedby: 0
  pages: "405-412"
  booktitle: "sofsem"
  kind: "inproceedings"
  key: "Lucas95:0"
- title: "On the relative power of polynomials with real, rational, and integer coefficients in proofs of termination of rewriting"
  author:
  - name: "Salvador Lucas"
    link: "http://users.dsic.upv.es/~slucas/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/s00200-005-0189-5"
  links:
    doi: "http://dx.doi.org/10.1007/s00200-005-0189-5"
  tags:
  - "termination"
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/Lucas06"
  cites: 0
  citedby: 0
  journal: "aaecc"
  volume: "17"
  number: "1"
  pages: "49-73"
  kind: "article"
  key: "Lucas06"
- title: "On-demand Evaluation by Program Transformation"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Santiago Escobar"
    link: "https://researchr.org/alias/santiago-escobar"
  - name: "Salvador Lucas"
    link: "http://users.dsic.upv.es/~slucas/"
  year: "2003"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/135/47/show/Products/notes/index.htt#007"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/135/47/show/Products/notes/index.htt#007"
  tags:
  - "transformation"
  - "program transformation"
  researchr: "https://researchr.org/publication/AlpuenteEL03a"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "86"
  number: "2"
  pages: "92-118"
  kind: "article"
  key: "AlpuenteEL03a"
- title: "OnDemandOBJ: A Laboratory for 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: "Salvador Lucas"
    link: "http://users.dsic.upv.es/~slucas/"
  year: "2003"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/135/47/show/Products/notes/index.htt#002"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/135/47/show/Products/notes/index.htt#002"
  researchr: "https://researchr.org/publication/AlpuenteEL03"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "86"
  number: "2"
  pages: "1-27"
  kind: "article"
  key: "AlpuenteEL03"
- title: "Strategies in Programming Languages Today"
  author:
  - name: "Salvador Lucas"
    link: "http://users.dsic.upv.es/~slucas/"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.entcs.2004.11.023"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2004.11.023"
  tags:
  - "programming languages"
  - "programming"
  researchr: "https://researchr.org/publication/Lucas05%3A2"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "124"
  number: "2"
  pages: "113-118"
  kind: "article"
  key: "Lucas05:2"
- 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: "TCS"
  volume: "57"
  pages: "201-202"
  kind: "article"
  key: "GramlichL01"
- title: "Rewriting-based navigation of Web sites"
  author:
  - name: "Salvador Lucas"
    link: "http://users.dsic.upv.es/~slucas/"
  year: "2005"
  tags:
  - "rule-based"
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/Lucas05%3A1"
  cites: 0
  citedby: 0
  pages: "157-160"
  booktitle: "wwv"
  kind: "inproceedings"
  key: "Lucas05:1"
- title: "Correct and Complete (Positive) Strategy Annotations for OBJ"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Santiago Escobar"
    link: "https://researchr.org/alias/santiago-escobar"
  - name: "Salvador Lucas"
    link: "http://users.dsic.upv.es/~slucas/"
  year: "2002"
  doi: "http://www1.elsevier.com/gej-ng/31/29/23/145/23/show/Products/notes/index.htt#005"
  links:
    doi: "http://www1.elsevier.com/gej-ng/31/29/23/145/23/show/Products/notes/index.htt#005"
  tags:
  - "completeness"
  researchr: "https://researchr.org/publication/AlpuenteEL02%3A0"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "71"
  pages: "70-89"
  kind: "article"
  key: "AlpuenteEL02:0"
- title: "Transfinite Rewriting Semantics for Term Rewriting Systems"
  author:
  - name: "Salvador Lucas"
    link: "http://users.dsic.upv.es/~slucas/"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2051/20510216.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2051/20510216.htm"
  tags:
  - "semantics"
  - "term rewriting"
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/Lucas01%3A2"
  cites: 0
  citedby: 0
  pages: "216-230"
  booktitle: "RTA"
  kind: "inproceedings"
  key: "Lucas01:2"
- title: "Termination of Innermost Context-Sensitive Rewriting Using Dependency Pairs"
  author:
  - name: "Beatriz Alarcón"
    link: "https://researchr.org/alias/beatriz-alarc%C3%B3n"
  - name: "Salvador Lucas"
    link: "http://users.dsic.upv.es/~slucas/"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-74621-8_5"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-74621-8_5"
  tags:
  - "termination"
  - "graph-rewriting"
  - "context-aware"
  - "rewriting"
  researchr: "https://researchr.org/publication/AlarconL07"
  cites: 0
  citedby: 0
  pages: "73-87"
  booktitle: "frocos"
  kind: "inproceedings"
  key: "AlarconL07"
- title: "Termination of just/fair computations in term rewriting"
  author:
  - name: "Salvador Lucas"
    link: "http://users.dsic.upv.es/~slucas/"
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  year: "2008"
  doi: "http://dx.doi.org/10.1016/j.ic.2007.11.002"
  links:
    doi: "http://dx.doi.org/10.1016/j.ic.2007.11.002"
  tags:
  - "term rewriting"
  - "termination"
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/LucasM08%3A0"
  cites: 0
  citedby: 0
  journal: "iandc"
  volume: "206"
  number: "5"
  pages: "652-675"
  kind: "article"
  key: "LucasM08: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: "ENTCS"
  volume: "70"
  number: "6"
  pages: "196-197"
  kind: "article"
  key: "GramlichL02:0"
- title: "On-demand Evaluation for Maude"
  author:
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Santiago Escobar"
    link: "https://researchr.org/alias/santiago-escobar"
  - name: "Salvador Lucas"
    link: "http://users.dsic.upv.es/~slucas/"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.entcs.2004.07.013"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2004.07.013"
  researchr: "https://researchr.org/publication/DuranEL05a"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "124"
  number: "1"
  pages: "25-39"
  kind: "article"
  key: "DuranEL05a"
- title: "Abstract correction of first-order functional programs"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Demis Ballis"
    link: "https://researchr.org/alias/demis-ballis"
  - name: "Santiago Escobar"
    link: "https://researchr.org/alias/santiago-escobar"
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  - name: "Salvador Lucas"
    link: "http://users.dsic.upv.es/~slucas/"
  year: "2003"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/135/48/show/Products/notes/index.htt#009"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/135/48/show/Products/notes/index.htt#009"
  tags:
  - "functional programming"
  researchr: "https://researchr.org/publication/AlpuenteBEFL03%3A0"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "86"
  number: "3"
  pages: "105-122"
  kind: "article"
  key: "AlpuenteBEFL03:0"
- title: "Termination of Rewriting With Strategy Annotations"
  author:
  - name: "Salvador Lucas"
    link: "http://users.dsic.upv.es/~slucas/"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2250/22500669.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2250/22500669.htm"
  tags:
  - "termination"
  - "graph-rewriting"
  - "rewriting"
  - "rewriting strategies"
  researchr: "https://researchr.org/publication/Lucas01%3A0"
  cites: 0
  citedby: 0
  pages: "669-684"
  booktitle: "lpar"
  kind: "inproceedings"
  key: "Lucas01:0"
- title: "Strongly Sequential and Inductively Sequential Term Rewriting Systems"
  author:
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  - name: "Salvador Lucas"
    link: "http://users.dsic.upv.es/~slucas/"
  - name: "Aart Middeldorp"
    link: "http://cl-informatik.uibk.ac.at/~ami/"
  year: "1998"
  doi: "http://dx.doi.org/10.1016/S0020-0190(98)00016-7"
  links:
    doi: "http://dx.doi.org/10.1016/S0020-0190(98)00016-7"
  tags:
  - "term rewriting"
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/HanusLM98"
  cites: 0
  citedby: 0
  journal: "ipl"
  volume: "67"
  number: "1"
  pages: "1-8"
  kind: "article"
  key: "HanusLM98"
- title: "Improving the Context-sensitive Dependency Graph"
  author:
  - name: "Beatriz Alarcón"
    link: "https://researchr.org/alias/beatriz-alarc%C3%B3n"
  - 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/"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.entcs.2007.05.040"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2007.05.040"
  tags:
  - "graph-rewriting"
  - "context-aware"
  - "rewriting"
  researchr: "https://researchr.org/publication/AlarconGL07"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "188"
  pages: "91-103"
  kind: "article"
  key: "AlarconGL07"
- title: "Simple termination of context-sensitive rewriting"
  author:
  - name: "Bernhard Gramlich"
    link: "https://researchr.org/alias/bernhard-gramlich"
  - name: "Salvador Lucas"
    link: "http://users.dsic.upv.es/~slucas/"
  year: "2002"
  doi: "http://doi.acm.org/10.1145/570186.570189"
  links:
    doi: "http://doi.acm.org/10.1145/570186.570189"
  tags:
  - "termination"
  - "graph-rewriting"
  - "context-aware"
  - "rewriting"
  researchr: "https://researchr.org/publication/GramlichL02%3A1"
  cites: 0
  citedby: 0
  pages: "29-42"
  booktitle: "RULE"
  kind: "inproceedings"
  key: "GramlichL02:1"
- title: "Removing redundant arguments automatically"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Santiago Escobar"
    link: "https://researchr.org/alias/santiago-escobar"
  - name: "Salvador Lucas"
    link: "http://users.dsic.upv.es/~slucas/"
  year: "2007"
  doi: "http://dx.doi.org/10.1017/S1471068406002869"
  links:
    doi: "http://dx.doi.org/10.1017/S1471068406002869"
  researchr: "https://researchr.org/publication/AlpuenteEL07"
  cites: 0
  citedby: 0
  journal: "tplp"
  volume: "7"
  number: "1-2"
  pages: "3-35"
  kind: "article"
  key: "AlpuenteEL07"
- title: "A Denotational Semantics for Needed Narrowing"
  author:
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  - name: "Salvador Lucas"
    link: "http://users.dsic.upv.es/~slucas/"
  year: "1996"
  tags:
  - "semantics"
  - "denotational semantics"
  researchr: "https://researchr.org/publication/HanusL96"
  cites: 0
  citedby: 0
  pages: "259-270"
  booktitle: "agp"
  kind: "inproceedings"
  key: "HanusL96"
- title: "Practical use of polynomials over the reals in proofs of termination"
  author:
  - name: "Salvador Lucas"
    link: "http://users.dsic.upv.es/~slucas/"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1273920.1273927"
  links:
    doi: "http://doi.acm.org/10.1145/1273920.1273927"
  tags:
  - "termination"
  researchr: "https://researchr.org/publication/Lucas07%3A0"
  cites: 0
  citedby: 0
  pages: "39-50"
  booktitle: "ppdp"
  kind: "inproceedings"
  key: "Lucas07:0"
- title: "Termination of Fair Computations in Term Rewriting"
  author:
  - name: "Salvador Lucas"
    link: "http://users.dsic.upv.es/~slucas/"
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11591191_14"
  links:
    doi: "http://dx.doi.org/10.1007/11591191_14"
  tags:
  - "term rewriting"
  - "termination"
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/LucasM05"
  cites: 0
  citedby: 0
  pages: "184-198"
  booktitle: "lpar"
  kind: "inproceedings"
  key: "LucasM05"
- title: "Root-Neededness and Approximations of Neededness"
  author:
  - name: "Salvador Lucas"
    link: "http://users.dsic.upv.es/~slucas/"
  year: "1998"
  doi: "http://dx.doi.org/10.1016/S0020-0190(98)00118-5"
  links:
    doi: "http://dx.doi.org/10.1016/S0020-0190(98)00118-5"
  researchr: "https://researchr.org/publication/Lucas98"
  cites: 0
  citedby: 0
  journal: "ipl"
  volume: "67"
  number: "5"
  pages: "245-254"
  kind: "article"
  key: "Lucas98"
- title: "El lambda-calculo Etiquetado Paralelo (LCEP)"
  author:
  - name: "Salvador Lucas"
    link: "http://users.dsic.upv.es/~slucas/"
  - name: "Javier Oliver"
    link: "https://researchr.org/alias/javier-oliver"
  year: "1994"
  researchr: "https://researchr.org/publication/LucasO94"
  cites: 0
  citedby: 0
  pages: "125-139"
  booktitle: "agp"
  kind: "inproceedings"
  key: "LucasO94"
- title: "Specialization of functional logic programs based on needed narrowing"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Salvador Lucas"
    link: "http://users.dsic.upv.es/~slucas/"
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2005"
  doi: "http://dx.doi.org/10.1017/S1471068404002303"
  links:
    doi: "http://dx.doi.org/10.1017/S1471068404002303"
  tags:
  - "rule-based"
  - "functional programming"
  - "logic programming"
  - "logic"
  researchr: "https://researchr.org/publication/AlpuenteLHV05"
  cites: 0
  citedby: 0
  journal: "tplp"
  volume: "5"
  number: "3"
  pages: "273-303"
  kind: "article"
  key: "AlpuenteLHV05"
- title: "An Evaluation Semantics for Narrowing-Based Functional Logic Languages"
  author:
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  - name: "Salvador Lucas"
    link: "http://users.dsic.upv.es/~slucas/"
  year: "2001"
  tags:
  - "semantics"
  - "rule-based"
  - "logic"
  researchr: "https://researchr.org/publication/HanusL01"
  cites: 0
  citedby: 0
  journal: "jflp"
  volume: "2001"
  number: "2"
  kind: "article"
  key: "HanusL01"
- 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: "lpar"
  kind: "inproceedings"
  key: "AlpuenteEGL02"
- title: "Context-Sensitive Rewriting Strategies"
  author:
  - name: "Salvador Lucas"
    link: "http://users.dsic.upv.es/~slucas/"
  year: "2002"
  doi: "http://dx.doi.org/10.1006/inco.2002.3176"
  links:
    doi: "http://dx.doi.org/10.1006/inco.2002.3176"
  tags:
  - "graph-rewriting"
  - "context-aware"
  - "rewriting"
  - "rewriting strategies"
  researchr: "https://researchr.org/publication/Lucas02%3A0"
  cites: 0
  citedby: 0
  journal: "iandc"
  volume: "178"
  number: "1"
  pages: "294-343"
  kind: "article"
  key: "Lucas02:0"
- title: "MTT: The Maude Termination Tool (System Description)"
  author:
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Salvador Lucas"
    link: "http://users.dsic.upv.es/~slucas/"
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-71070-7_27"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-71070-7_27"
  tags:
  - "termination"
  researchr: "https://researchr.org/publication/DuranLM08"
  cites: 0
  citedby: 0
  pages: "313-319"
  booktitle: "cade"
  kind: "inproceedings"
  key: "DuranLM08"
- title: "Rewriting-Based Navigation of Web Sites: Looking for Models and Logics"
  author:
  - name: "Salvador Lucas"
    link: "http://users.dsic.upv.es/~slucas/"
  year: "2006"
  doi: "http://dx.doi.org/10.1016/j.entcs.2005.12.047"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2005.12.047"
  tags:
  - "rule-based"
  - "graph-rewriting"
  - "logic"
  - "rewriting logic"
  - "rewriting"
  researchr: "https://researchr.org/publication/Lucas06%3A0"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "157"
  number: "2"
  pages: "79-85"
  kind: "article"
  key: "Lucas06:0"
- title: "The Maude Formal Tool Environment"
  author:
  - name: "Manuel Clavel"
    link: "https://researchr.org/alias/manuel-clavel"
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Joe Hendrix"
    link: "https://researchr.org/alias/joe-hendrix"
  - name: "Salvador Lucas"
    link: "http://users.dsic.upv.es/~slucas/"
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  - name: "Peter Csaba Ölveczky"
    link: "https://researchr.org/alias/peter-csaba-%C3%B6lveczky"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-73859-6_12"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-73859-6_12"
  tags:
  - "meta-model"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/ClavelDHLMO07"
  cites: 0
  citedby: 0
  pages: "173-178"
  booktitle: "calco"
  kind: "inproceedings"
  key: "ClavelDHLMO07"
- title: "Specialization of Inductively Sequential Functional Logic Programs"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  - name: "Salvador Lucas"
    link: "http://users.dsic.upv.es/~slucas/"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "1999"
  doi: "http://doi.acm.org/10.1145/317636.317910"
  links:
    doi: "http://doi.acm.org/10.1145/317636.317910"
  tags:
  - "functional programming"
  - "logic programming"
  - "logic"
  researchr: "https://researchr.org/publication/AlpuenteHLV99"
  cites: 0
  citedby: 0
  pages: "273-283"
  booktitle: "ICFP"
  kind: "inproceedings"
  key: "AlpuenteHLV99"
- title: "Strong and NV-sequentiality of constructor systems"
  author:
  - name: "Salvador Lucas"
    link: "http://users.dsic.upv.es/~slucas/"
  year: "2000"
  researchr: "https://researchr.org/publication/Lucas00%3A2"
  cites: 0
  citedby: 0
  pages: "253-267"
  booktitle: "wflp"
  kind: "inproceedings"
  key: "Lucas00:2"
- title: "Strong and NV-sequentiality of constructor systems"
  author:
  - name: "Salvador Lucas"
    link: "http://users.dsic.upv.es/~slucas/"
  year: "2004"
  doi: "http://dx.doi.org/10.1016/j.ipl.2003.11.006"
  links:
    doi: "http://dx.doi.org/10.1016/j.ipl.2003.11.006"
  researchr: "https://researchr.org/publication/Lucas04%3A1"
  cites: 0
  citedby: 0
  journal: "ipl"
  volume: "89"
  number: "4"
  pages: "191-201"
  kind: "article"
  key: "Lucas04:1"
- title: "A Semantics for Program Analysis in Narrowing-Based Functional Logic Languages"
  author:
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  - name: "Salvador Lucas"
    link: "http://users.dsic.upv.es/~slucas/"
  year: "1999"
  tags:
  - "programming languages"
  - "semantics"
  - "rule-based"
  - "program analysis"
  - "functional programming"
  - "analysis"
  - "logic programming"
  - "logic"
  researchr: "https://researchr.org/publication/HanusL99"
  cites: 0
  citedby: 0
  pages: "353-368"
  booktitle: "FLOPS"
  kind: "inproceedings"
  key: "HanusL99"
- 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: "lpar"
  kind: "inproceedings"
  key: "AlarconEFGGLST08"
- title: "New Evaluation Commands for Maude Within Full Maude"
  author:
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Santiago Escobar"
    link: "https://researchr.org/alias/santiago-escobar"
  - name: "Salvador Lucas"
    link: "http://users.dsic.upv.es/~slucas/"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.entcs.2004.06.014"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2004.06.014"
  researchr: "https://researchr.org/publication/DuranEL05"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "117"
  pages: "263-284"
  kind: "article"
  key: "DuranEL05"
- title: "Context-Sensitive Dependency Pairs"
  author:
  - name: "Beatriz Alarcón"
    link: "https://researchr.org/alias/beatriz-alarc%C3%B3n"
  - 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/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11944836_28"
  links:
    doi: "http://dx.doi.org/10.1007/11944836_28"
  tags:
  - "context-aware"
  researchr: "https://researchr.org/publication/AlarconGL06"
  cites: 0
  citedby: 0
  pages: "297-308"
  booktitle: "fsttcs"
  kind: "inproceedings"
  key: "AlarconGL06"
- title: "mu-term: A Tool for Proving Termination of Context-Sensitive Rewriting"
  author:
  - name: "Salvador Lucas"
    link: "http://users.dsic.upv.es/~slucas/"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3091&spage=200"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3091&spage=200"
  tags:
  - "term rewriting"
  - "termination"
  - "graph-rewriting"
  - "context-aware"
  - "rewriting"
  researchr: "https://researchr.org/publication/Lucas04"
  cites: 0
  citedby: 0
  pages: "200-209"
  booktitle: "RTA"
  kind: "inproceedings"
  key: "Lucas04"
- title: "Abstract Diagnosis of Functional Programs"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Marco Comini"
    link: "https://researchr.org/alias/marco-comini"
  - name: "Santiago Escobar"
    link: "https://researchr.org/alias/santiago-escobar"
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  - name: "Salvador Lucas"
    link: "http://users.dsic.upv.es/~slucas/"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2664/26640001.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2664/26640001.htm"
  tags:
  - "functional programming"
  researchr: "https://researchr.org/publication/AlpuenteCEFL02"
  cites: 0
  citedby: 0
  pages: "1-16"
  booktitle: "LOPSTR"
  kind: "inproceedings"
  key: "AlpuenteCEFL02"
- 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: "ENTCS"
  volume: "86"
  number: "4"
  pages: "567-569"
  kind: "article"
  key: "GramlichL03"
- title: "Demandness in Rewriting and Narrowing"
  author:
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  - name: "Salvador Lucas"
    link: "http://users.dsic.upv.es/~slucas/"
  year: "2002"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/126/23/show/Products/notes/index.htt#004"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/126/23/show/Products/notes/index.htt#004"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/AntoyL02"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "76"
  pages: "42-51"
  kind: "article"
  key: "AntoyL02"