@inproceedings{AlpuenteBEFL03,
  title = {Abstract Correction of OBJ-like Programs},
  author = {María Alpuente and Demis Ballis and Santiago Escobar and Moreno Falaschi and Salvador Lucas},
  year = {2003},
  researchr = {https://researchr.org/publication/AlpuenteBEFL03},
  cites = {0},
  citedby = {0},
  pages = {422-433},
  booktitle = {2003 Joint Conference on Declarative Programming, AGP-2003, Reggio Calabria, Italy, September 3-5, 2003},
  editor = {Francesco Buccafurri},
}

@inproceedings{Lucas96:0,
  title = {Termination of Context-Sensitive Rewriting by Rewriting},
  author = {Salvador Lucas},
  year = {1996},
  tags = {termination, graph-rewriting, context-aware, rewriting},
  researchr = {https://researchr.org/publication/Lucas96%3A0},
  cites = {0},
  citedby = {0},
  pages = {122-133},
  booktitle = {Automata, Languages and Programming, 23rd International Colloquium, ICALP96, Paderborn, Germany, 8-12 July 1996, Proceedings},
  editor = {Friedhelm Meyer auf der Heide and Burkhard Monien},
  volume = {1099},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-61440-0},
}

@article{DuranLMMU08,
  title = {Proving operational termination of membership equational programs},
  author = {Francisco Durán and Salvador Lucas and Claude Marché and José Meseguer and Xavier Urbain},
  year = {2008},
  doi = {10.1007/s10990-008-9028-2},
  url = {http://dx.doi.org/10.1007/s10990-008-9028-2},
  tags = {termination},
  researchr = {https://researchr.org/publication/DuranLMMU08},
  cites = {0},
  citedby = {0},
  journal = {Higher-Order and Symbolic Computation},
  volume = {21},
  number = {1-2},
  pages = {59-88},
}

@inproceedings{Lucas00a,
  title = {Redundant arguments in infinitary rewriting},
  author = {Salvador Lucas},
  year = {2000},
  tags = {graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/Lucas00a},
  cites = {0},
  citedby = {0},
  pages = {340-343},
  booktitle = {9th International Workshop on Functional and Logic Programming, WFLP 2000, Benicassim, Spain, September 28-30, 2000},
  editor = {María Alpuente},
}

@inproceedings{LucasO96,
  title = {A New Proposal of Concurrent Process Calculus},
  author = {Salvador Lucas and Javier Oliver},
  year = {1996},
  researchr = {https://researchr.org/publication/LucasO96},
  cites = {0},
  citedby = {0},
  pages = {385-392},
  booktitle = {SOFSEM  96: Theory and Practice of Informatics, 23rd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23-30, 1996,  Proceedings},
  editor = {Keith G. Jeffery and Jaroslav Král and Miroslav Bartosek},
  volume = {1175},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-61994-1},
}

@inproceedings{BorrallerasLR02,
  title = {Recursive Path Orderings Can Be Context-Sensitive},
  author = {Cristina Borralleras and Salvador Lucas and Albert Rubio},
  year = {2002},
  url = {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 = {Automated Deduction - CADE-18, 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings},
  editor = {Andrei Voronkov},
  volume = {2392},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-43931-5},
}

@inproceedings{Lucas95:0,
  title = {Fundamentals of Context=Sensitive Rewriting},
  author = {Salvador Lucas},
  year = {1995},
  tags = {graph-rewriting, context-aware, rewriting},
  researchr = {https://researchr.org/publication/Lucas95%3A0},
  cites = {0},
  citedby = {0},
  pages = {405-412},
  booktitle = {SOFSEM  95, 22nd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23 - December 1, 1995, Proceedings},
  editor = {Miroslav Bartosek and Jan Staudek and Jirí Wiedermann},
  volume = {1012},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-60609-2},
}

@article{Lucas06,
  title = {On the relative power of polynomials with real, rational, and integer coefficients in proofs of termination of rewriting},
  author = {Salvador Lucas},
  year = {2006},
  doi = {10.1007/s00200-005-0189-5},
  url = {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 = {Appl. Algebra Eng. Commun. Comput.},
  volume = {17},
  number = {1},
  pages = {49-73},
}

@article{AlpuenteEL03a,
  title = {On-demand Evaluation by Program Transformation},
  author = {María Alpuente and Santiago Escobar and Salvador Lucas},
  year = {2003},
  url = {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 = {Electronic Notes in Theoretical Computer Science},
  volume = {86},
  number = {2},
  pages = {92-118},
}

@article{AlpuenteEL03,
  title = {OnDemandOBJ: A Laboratory for Strategy Annotations},
  author = {María Alpuente and Santiago Escobar and Salvador Lucas},
  year = {2003},
  url = {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 = {Electronic Notes in Theoretical Computer Science},
  volume = {86},
  number = {2},
  pages = {1-27},
}

@article{Lucas05:2,
  title = {Strategies in Programming Languages Today},
  author = {Salvador Lucas},
  year = {2005},
  doi = {10.1016/j.entcs.2004.11.023},
  url = {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 = {Electronic Notes in Theoretical Computer Science},
  volume = {124},
  number = {2},
  pages = {113-118},
}

@article{GramlichL01,
  title = {1st International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2001) - Preface},
  author = {Bernhard Gramlich and Salvador Lucas},
  year = {2001},
  url = {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},
}

@inproceedings{Lucas05:1,
  title = {Rewriting-based navigation of Web sites},
  author = {Salvador Lucas},
  year = {2005},
  tags = {rule-based, graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/Lucas05%3A1},
  cites = {0},
  citedby = {0},
  pages = {157-160},
  booktitle = {First International Workshop on Automated Specification and Verification of Web Sites (WWV 2005), March 14-15, 2005 Valencia, Spain},
  editor = {María Alpuente and Santiago Escobar and Moreno Falaschi},
  volume = {DSIC-II/03/05},
  publisher = {Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia},
}

@article{AlpuenteEL02:0,
  title = {Correct and Complete (Positive) Strategy Annotations for OBJ},
  author = {María Alpuente and Santiago Escobar and Salvador Lucas},
  year = {2002},
  url = {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 = {Electronic Notes in Theoretical Computer Science},
  volume = {71},
  pages = {70-89},
}

@inproceedings{Lucas01:2,
  title = {Transfinite Rewriting Semantics for Term Rewriting Systems},
  author = {Salvador Lucas},
  year = {2001},
  url = {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 = {Rewriting Techniques and Applications, 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001, Proceedings},
  editor = {Aart Middeldorp},
  volume = {2051},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-42117-3},
}

@inproceedings{AlarconL07,
  title = {Termination of Innermost Context-Sensitive Rewriting Using Dependency Pairs},
  author = {Beatriz Alarcón and Salvador Lucas},
  year = {2007},
  doi = {10.1007/978-3-540-74621-8_5},
  url = {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 = {Frontiers of Combining Systems, 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007, Proceedings},
  editor = {Boris Konev and Frank Wolter},
  volume = {4720},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-74620-1},
}

@article{LucasM08:0,
  title = {Termination of just/fair computations in term rewriting},
  author = {Salvador Lucas and José Meseguer},
  year = {2008},
  doi = {10.1016/j.ic.2007.11.002},
  url = {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 = {Inf. Comput.},
  volume = {206},
  number = {5},
  pages = {652-675},
}

@article{GramlichL02:0,
  title = {Preface},
  author = {Bernhard Gramlich and Salvador Lucas},
  year = {2002},
  url = {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},
}

@article{DuranEL05a,
  title = {On-demand Evaluation for Maude},
  author = {Francisco Durán and Santiago Escobar and Salvador Lucas},
  year = {2005},
  doi = {10.1016/j.entcs.2004.07.013},
  url = {http://dx.doi.org/10.1016/j.entcs.2004.07.013},
  researchr = {https://researchr.org/publication/DuranEL05a},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {124},
  number = {1},
  pages = {25-39},
}

@article{AlpuenteBEFL03:0,
  title = {Abstract correction of first-order functional programs},
  author = {María Alpuente and Demis Ballis and Santiago Escobar and Moreno Falaschi and Salvador Lucas},
  year = {2003},
  url = {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 = {Electronic Notes in Theoretical Computer Science},
  volume = {86},
  number = {3},
  pages = {105-122},
}

@inproceedings{Lucas01:0,
  title = {Termination of Rewriting With Strategy Annotations},
  author = {Salvador Lucas},
  year = {2001},
  url = {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 = {Logic for Programming, Artificial Intelligence, and Reasoning, 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings},
  editor = {Robert Nieuwenhuis and Andrei Voronkov},
  volume = {2250},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-42957-3},
}

@article{HanusLM98,
  title = {Strongly Sequential and Inductively Sequential Term Rewriting Systems},
  author = {Michael Hanus and Salvador Lucas and Aart Middeldorp},
  year = {1998},
  doi = {10.1016/S0020-0190(98)00016-7},
  url = {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 = {Inf. Process. Lett.},
  volume = {67},
  number = {1},
  pages = {1-8},
}

@article{AlarconGL07,
  title = {Improving the Context-sensitive Dependency Graph},
  author = {Beatriz Alarcón and Raúl Gutiérrez and Salvador Lucas},
  year = {2007},
  doi = {10.1016/j.entcs.2007.05.040},
  url = {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 = {Electronic Notes in Theoretical Computer Science},
  volume = {188},
  pages = {91-103},
}

@inproceedings{GramlichL02:1,
  title = {Simple termination of context-sensitive rewriting},
  author = {Bernhard Gramlich and Salvador Lucas},
  year = {2002},
  doi = {10.1145/570186.570189},
  url = {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 = {Proceedings of the 2002 ACM SIGPLAN Workshop on Rule-Based Programming, Pittsburgh, Pennsylvania, USA, 2002},
  editor = {Bernd  Fischer and Eelco Visser},
  publisher = {ACM},
  isbn = {1-58113-606-4},
}

@article{AlpuenteEL07,
  title = {Removing redundant arguments automatically},
  author = {María Alpuente and Santiago Escobar and Salvador Lucas},
  year = {2007},
  doi = {10.1017/S1471068406002869},
  url = {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},
}

@inproceedings{HanusL96,
  title = {A Denotational Semantics for Needed Narrowing},
  author = {Michael Hanus and Salvador Lucas},
  year = {1996},
  tags = {semantics, denotational semantics},
  researchr = {https://researchr.org/publication/HanusL96},
  cites = {0},
  citedby = {0},
  pages = {259-270},
  booktitle = {1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE 96, Donostia-San Sebastian, Spain, July 15-18, 1996},
  editor = {Paqui Lucio and Maurizio Martelli and Marisa Navarro},
}

@inproceedings{Lucas07:0,
  title = {Practical use of polynomials over the reals in proofs of termination},
  author = {Salvador Lucas},
  year = {2007},
  doi = {10.1145/1273920.1273927},
  url = {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 = {Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 14-16, 2007, Wroclaw, Poland},
  editor = {Michael Leuschel and Andreas Podelski},
  publisher = {ACM},
  isbn = {978-1-59593-769-8},
}

@inproceedings{LucasM05,
  title = {Termination of Fair Computations in Term Rewriting},
  author = {Salvador Lucas and José Meseguer},
  year = {2005},
  doi = {10.1007/11591191_14},
  url = {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 = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings},
  editor = {Geoff Sutcliffe and Andrei Voronkov},
  volume = {3835},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-30553-X},
}

@article{Lucas98,
  title = {Root-Neededness and Approximations of Neededness},
  author = {Salvador Lucas},
  year = {1998},
  doi = {10.1016/S0020-0190(98)00118-5},
  url = {http://dx.doi.org/10.1016/S0020-0190(98)00118-5},
  researchr = {https://researchr.org/publication/Lucas98},
  cites = {0},
  citedby = {0},
  journal = {Inf. Process. Lett.},
  volume = {67},
  number = {5},
  pages = {245-254},
}

@inproceedings{LucasO94,
  title = {El lambda-calculo Etiquetado Paralelo (LCEP)},
  author = {Salvador Lucas and Javier Oliver},
  year = {1994},
  researchr = {https://researchr.org/publication/LucasO94},
  cites = {0},
  citedby = {0},
  pages = {125-139},
  booktitle = {1994 Joint Conference on Declarative Programming, GULP-PRODE 94 Peñiscola, Spain, September 19-22, 1994, Volume 1},
  editor = {María Alpuente and Roberto Barbuti and Isidro Ramos},
}

@article{AlpuenteLHV05,
  title = {Specialization of functional logic programs based on needed narrowing},
  author = {María Alpuente and Salvador Lucas and Michael Hanus and Germán Vidal},
  year = {2005},
  doi = {10.1017/S1471068404002303},
  url = {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},
}

@article{HanusL01,
  title = {An Evaluation Semantics for Narrowing-Based Functional Logic Languages},
  author = {Michael Hanus and Salvador Lucas},
  year = {2001},
  tags = {semantics, rule-based, logic},
  researchr = {https://researchr.org/publication/HanusL01},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional and Logic Programming},
  volume = {2001},
  number = {2},
}

@inproceedings{AlpuenteEGL02,
  title = {Improving On-Demand Strategy Annotations},
  author = {María Alpuente and Santiago Escobar and Bernhard Gramlich and Salvador Lucas},
  year = {2002},
  url = {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 = {Matthias Baaz and Andrei Voronkov},
  volume = {2514},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-00010-0},
}

@article{Lucas02:0,
  title = {Context-Sensitive Rewriting Strategies},
  author = {Salvador Lucas},
  year = {2002},
  doi = {10.1006/inco.2002.3176},
  url = {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 = {Inf. Comput.},
  volume = {178},
  number = {1},
  pages = {294-343},
}

@inproceedings{DuranLM08,
  title = {MTT: The Maude Termination Tool (System Description)},
  author = {Francisco Durán and Salvador Lucas and José Meseguer},
  year = {2008},
  doi = {10.1007/978-3-540-71070-7_27},
  url = {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 = {Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings},
  editor = {Alessandro Armando and Peter Baumgartner and Gilles Dowek},
  volume = {5195},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-71069-1},
}

@article{Lucas06:0,
  title = {Rewriting-Based Navigation of Web Sites: Looking for Models and Logics},
  author = {Salvador Lucas},
  year = {2006},
  doi = {10.1016/j.entcs.2005.12.047},
  url = {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 = {Electronic Notes in Theoretical Computer Science},
  volume = {157},
  number = {2},
  pages = {79-85},
}

@inproceedings{ClavelDHLMO07,
  title = {The Maude Formal Tool Environment},
  author = {Manuel Clavel and Francisco Durán and Joe Hendrix and Salvador Lucas and José Meseguer and Peter Csaba Ölveczky},
  year = {2007},
  doi = {10.1007/978-3-540-73859-6_12},
  url = {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 = {Algebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings},
  editor = {Till Mossakowski and Ugo Montanari and Magne Haveraaen},
  volume = {4624},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-73857-2},
}

@inproceedings{AlpuenteHLV99,
  title = {Specialization of Inductively Sequential Functional Logic Programs},
  author = {María Alpuente and Michael Hanus and Salvador Lucas and Germán Vidal},
  year = {1999},
  doi = {10.1145/317636.317910},
  url = {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},
}

@inproceedings{Lucas00:2,
  title = {Strong and NV-sequentiality of constructor systems},
  author = {Salvador Lucas},
  year = {2000},
  researchr = {https://researchr.org/publication/Lucas00%3A2},
  cites = {0},
  citedby = {0},
  pages = {253-267},
  booktitle = {9th International Workshop on Functional and Logic Programming, WFLP 2000, Benicassim, Spain, September 28-30, 2000},
  editor = {María Alpuente},
}

@article{Lucas04:1,
  title = {Strong and NV-sequentiality of constructor systems},
  author = {Salvador Lucas},
  year = {2004},
  doi = {10.1016/j.ipl.2003.11.006},
  url = {http://dx.doi.org/10.1016/j.ipl.2003.11.006},
  researchr = {https://researchr.org/publication/Lucas04%3A1},
  cites = {0},
  citedby = {0},
  journal = {Inf. Process. Lett.},
  volume = {89},
  number = {4},
  pages = {191-201},
}

@inproceedings{HanusL99,
  title = {A Semantics for Program Analysis in Narrowing-Based Functional Logic Languages},
  author = {Michael Hanus and Salvador Lucas},
  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 = {Functional and Logic Programming, 4th Fuji International Symposium, FLOPS 99, Tsukuba, Japan, November 11-13, 1999, Proceedings},
  editor = {Aart Middeldorp and Taisuke Sato},
  volume = {1722},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66677-X},
}

@inproceedings{AlarconEFGGLST08,
  title = {Improving Context-Sensitive Dependency Pairs},
  author = {Beatriz Alarcón and Fabian Emmes and Carsten Fuhs and Jürgen Giesl and Raúl Gutiérrez and Salvador Lucas and Peter Schneider-Kamp and René Thiemann},
  year = {2008},
  doi = {10.1007/978-3-540-89439-1_44},
  url = {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 = {Iliano Cervesato and Helmut Veith and Andrei Voronkov},
  volume = {5330},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-89438-4},
}

@article{DuranEL05,
  title = {New Evaluation Commands for Maude Within Full Maude},
  author = {Francisco Durán and Santiago Escobar and Salvador Lucas},
  year = {2005},
  doi = {10.1016/j.entcs.2004.06.014},
  url = {http://dx.doi.org/10.1016/j.entcs.2004.06.014},
  researchr = {https://researchr.org/publication/DuranEL05},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {117},
  pages = {263-284},
}

@inproceedings{AlarconGL06,
  title = {Context-Sensitive Dependency Pairs},
  author = {Beatriz Alarcón and Raúl Gutiérrez and Salvador Lucas},
  year = {2006},
  doi = {10.1007/11944836_28},
  url = {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 2006: Foundations of Software Technology and Theoretical Computer Science, 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings},
  editor = {S. Arun-Kumar and Naveen Garg},
  volume = {4337},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-49994-6},
}

@inproceedings{Lucas04,
  title = {mu-term: A Tool for Proving Termination of Context-Sensitive Rewriting},
  author = {Salvador Lucas},
  year = {2004},
  url = {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 = {Rewriting Techniques and Applications, 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings},
  editor = {Vincent van Oostrom},
  volume = {3091},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-22153-0},
}

@inproceedings{AlpuenteCEFL02,
  title = {Abstract Diagnosis of Functional Programs},
  author = {María Alpuente and Marco Comini and Santiago Escobar and Moreno Falaschi and Salvador Lucas},
  year = {2002},
  url = {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 = {Logic Based Program Synthesis and Tranformation, 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20,2002, Revised Selected Papers},
  editor = {Michael Leuschel},
  volume = {2664},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-40438-4},
}

@article{GramlichL03,
  title = {3rd International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2003) - Final Proceedings},
  author = {Bernhard Gramlich and Salvador Lucas},
  year = {2003},
  url = {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},
}

@article{AntoyL02,
  title = {Demandness in Rewriting and Narrowing},
  author = {Sergio Antoy and Salvador Lucas},
  year = {2002},
  url = {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 = {Electronic Notes in Theoretical Computer Science},
  volume = {76},
  pages = {42-51},
}