publications:
- title: "Rules + strategies for transforming lazy functional logic programs"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  - name: "Ginés Moreno"
    link: "https://researchr.org/alias/gin%C3%A9s-moreno"
  - name: "Germán Vidal"
    link: "https://researchr.org/alias/germ%C3%A1n-vidal"
  year: "2004"
  doi: "http://dx.doi.org/10.1016/j.tcs.2003.10.033"
  links:
    doi: "http://dx.doi.org/10.1016/j.tcs.2003.10.033"
  tags:
  - "laziness"
  - "rule-based"
  - "functional programming"
  - "rules"
  - "logic programming"
  - "logic"
  researchr: "https://researchr.org/publication/AlpuenteFMV04"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "311"
  number: "1-3"
  pages: "479-525"
  kind: "article"
  key: "AlpuenteFMV04"
- title: "An Automatic Composition Algorithm for Functional Logic Programs"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  - name: "Ginés Moreno"
    link: "https://researchr.org/alias/gin%C3%A9s-moreno"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1963/19630289.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1963/19630289.htm"
  tags:
  - "composition"
  - "functional programming"
  - "logic programming"
  - "logic"
  researchr: "https://researchr.org/publication/AlpuenteFMV00"
  cites: 0
  citedby: 0
  pages: "289-297"
  booktitle: "SOFSEM 2000: Theory and Practice of Informatics, 27th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 25 - December 2, 2000, Proceedings"
  editor:
  - name: "Václav Hlavác"
    link: "https://researchr.org/alias/v%C3%A1clav-hlav%C3%A1c"
  - name: "Keith G. Jeffery"
    link: "https://researchr.org/alias/keith-g.-jeffery"
  - name: "Jirí Wiedermann"
    link: "https://researchr.org/alias/jir%C3%AD-wiedermann"
  volume: "1963"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-41348-0"
  kind: "inproceedings"
  key: "AlpuenteFMV00"
- 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: "Electronic Notes in Theoretical Computer Science"
  volume: "86"
  number: "2"
  pages: "92-118"
  kind: "article"
  key: "AlpuenteEL03a"
- title: "Analyses of Unsatisfiability for Equational Logic Programming"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  - name: "Ferdinando Manzo"
    link: "https://researchr.org/alias/ferdinando-manzo"
  year: "1995"
  tags:
  - "logic programming"
  - "programming"
  - "logic"
  researchr: "https://researchr.org/publication/AlpuenteFM95"
  cites: 0
  citedby: 0
  journal: "Journal of Logic and Algebraic Programming"
  volume: "22"
  number: "3"
  pages: "223-254"
  kind: "article"
  key: "AlpuenteFM95"
- title: "Using Narrowing Approximations to Optimize Equational Logic Programs"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  - name: "María José Ramis"
    link: "https://researchr.org/alias/mar%C3%ADa-jos%C3%A9-ramis"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "1993"
  tags:
  - "optimization"
  - "logic programming"
  - "logic"
  - "program optimization"
  researchr: "https://researchr.org/publication/AlpuenteFRV93"
  cites: 0
  citedby: 0
  pages: "127-142"
  booktitle: "8th Italian Conference on Logic Programming, GULP 93, Gizzeria, Italy, June 15-18, 1993"
  editor:
  - name: "Domenico Saccà"
    link: "https://researchr.org/alias/domenico-sacc%C3%A0"
  kind: "inproceedings"
  key: "AlpuenteFRV93"
- 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: "Electronic Notes in Theoretical Computer Science"
  volume: "71"
  pages: "70-89"
  kind: "article"
  key: "AlpuenteEL02:0"
- title: "A Visual Technique for Web Pages Comparison"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Daniel Romero"
    link: "https://researchr.org/alias/daniel-romero"
  year: "2009"
  doi: "http://dx.doi.org/10.1016/j.entcs.2009.03.002"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2009.03.002"
  researchr: "https://researchr.org/publication/AlpuenteR09"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "235"
  pages: "3-18"
  kind: "article"
  key: "AlpuenteR09"
- 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: "Electronic Notes in Theoretical Computer Science"
  volume: "86"
  number: "2"
  pages: "1-27"
  kind: "article"
  key: "AlpuenteEL03"
- title: "A Fast Algebraic Web Verification Service"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Demis Ballis"
    link: "https://researchr.org/alias/demis-ballis"
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  - name: "Pedro Ojeda"
    link: "https://researchr.org/alias/pedro-ojeda"
  - name: "Daniel Romero"
    link: "https://researchr.org/alias/daniel-romero"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-72982-2_18"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-72982-2_18"
  tags:
  - "web service"
  - " algebra"
  researchr: "https://researchr.org/publication/AlpuenteBFOR07"
  cites: 0
  citedby: 0
  pages: "239-248"
  booktitle: "Web Reasoning and Rule Systems, First International Conference, RR 2007, Innsbruck , Austria, June 7-8, 2007, Proceedings"
  editor:
  - name: "Massimo Marchiori"
    link: "https://researchr.org/alias/massimo-marchiori"
  - name: "Jeff Z. Pan"
    link: "https://researchr.org/alias/jeff-z.-pan"
  - name: "Christian de Sainte Marie"
    link: "https://researchr.org/alias/christian-de-sainte-marie"
  volume: "4524"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-72981-5"
  kind: "inproceedings"
  key: "AlpuenteBFOR07"
- title: "Safe Folding/Unfolding with Conditional Narrowing"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  - name: "Ginés Moreno"
    link: "https://researchr.org/alias/gin%C3%A9s-moreno"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "1997"
  researchr: "https://researchr.org/publication/AlpuenteFMV97"
  cites: 0
  citedby: 0
  pages: "1-15"
  booktitle: "Algebraic and Logic Programming, 6th International Joint Conference, ALP  97 - HOA  97, Southampton, U.K., Spetember 3-5, 1997, Proceedings"
  editor:
  - name: "Michael Hanus"
    link: "https://researchr.org/alias/michael-hanus"
  - name: "Jan Heering"
    link: "http://homepages.cwi.nl/~jan/"
  - name: "Karl Meinke"
    link: "https://researchr.org/alias/karl-meinke"
  volume: "1298"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-63459-2"
  kind: "inproceedings"
  key: "AlpuenteFMV97"
- title: "A Compositional Semantic Basis for the Analysis of Equational Horn Programs"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  - name: "Germán Vidal"
    link: "https://researchr.org/alias/germ%C3%A1n-vidal"
  year: "1996"
  doi: "http://dx.doi.org/10.1016/0304-3975(96)00043-6"
  links:
    doi: "http://dx.doi.org/10.1016/0304-3975(96)00043-6"
  tags:
  - "program analysis"
  - "composition"
  - "analysis"
  researchr: "https://researchr.org/publication/AlpuenteFV96%3A0"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "165"
  number: "1"
  pages: "133-169"
  kind: "article"
  key: "AlpuenteFV96:0"
- title: "Safe Folding/Unfolding with Conditional Narrowing"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  - name: "Ginés Moreno"
    link: "https://researchr.org/alias/gin%C3%A9s-moreno"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "1997"
  researchr: "https://researchr.org/publication/AlpuenteFMV97%3A0"
  cites: 0
  citedby: 0
  pages: "347-358"
  booktitle: "1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE 97, Grado, Italy, June 16-19, 1997"
  editor:
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  - name: "Marisa Navarro"
    link: "https://researchr.org/alias/marisa-navarro"
  - name: "Alberto Policriti"
    link: "https://researchr.org/alias/alberto-policriti"
  kind: "inproceedings"
  key: "AlpuenteFMV97:0"
- title: "A Transformation System for Lazy Functional Logic Programs"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  - name: "Ginés Moreno"
    link: "https://researchr.org/alias/gin%C3%A9s-moreno"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "1999"
  tags:
  - "laziness"
  - "functional programming"
  - "logic programming"
  - "transformation system"
  - "logic"
  - "transformation"
  - "program transformation"
  researchr: "https://researchr.org/publication/AlpuenteFMV99"
  cites: 0
  citedby: 0
  pages: "147-162"
  booktitle: "Functional and Logic Programming, 4th Fuji International Symposium, FLOPS 99, Tsukuba, Japan, November 11-13, 1999, Proceedings"
  editor:
  - name: "Aart Middeldorp"
    link: "https://researchr.org/alias/aart-middeldorp"
  - name: "Taisuke Sato"
    link: "https://researchr.org/alias/taisuke-sato"
  volume: "1722"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-66677-X"
  kind: "inproceedings"
  key: "AlpuenteFMV99"
- title: "Termination of narrowing revisited"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Santiago Escobar"
    link: "https://researchr.org/alias/santiago-escobar"
  - name: "José Iborra"
    link: "https://researchr.org/alias/jos%C3%A3%C2%A9-iborra"
  year: "2009"
  doi: "http://dx.doi.org/10.1016/j.tcs.2009.07.037"
  links:
    doi: "http://dx.doi.org/10.1016/j.tcs.2009.07.037"
  tags:
  - "termination"
  researchr: "https://researchr.org/publication/AlpuenteEI09"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "410"
  number: "46"
  pages: "4608-4625"
  kind: "article"
  key: "AlpuenteEI09"
- title: "Defining Datalog in Rewriting Logic"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Marco A. Feliú"
    link: "https://researchr.org/alias/marco-a.-feli%C3%BA"
  - name: "Christophe Joubert"
    link: "https://researchr.org/alias/christophe-joubert"
  - name: "Alicia Villanueva"
    link: "https://researchr.org/alias/alicia-villanueva"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-12592-8_14"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-12592-8_14"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/lopstr/AlpuenteFJV09"
  tags:
  - "graph-rewriting"
  - "logic"
  - "rewriting logic"
  - "rewriting"
  - "Datalog"
  researchr: "https://researchr.org/publication/AlpuenteFJV09-0"
  cites: 0
  citedby: 0
  pages: "188-204"
  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: "AlpuenteFJV09-0"
- title: "A Compositional Semantics for Conditional Term Rewriting Systems"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  - name: "María José Ramis"
    link: "https://researchr.org/alias/mar%C3%ADa-jos%C3%A9-ramis"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "1994"
  tags:
  - "semantics"
  - "term rewriting"
  - "composition"
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/AlpuenteFRV94"
  cites: 0
  citedby: 0
  pages: "62-76"
  booktitle: "1994 Joint Conference on Declarative Programming, GULP-PRODE 94 Peñiscola, Spain, September 19-22, 1994, Volume 1"
  editor:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Roberto Barbuti"
    link: "https://researchr.org/alias/roberto-barbuti"
  - name: "Isidro Ramos"
    link: "https://researchr.org/alias/isidro-ramos"
  kind: "inproceedings"
  key: "AlpuenteFRV94"
- title: "Abstract Certification of Global Non-interference in Rewriting Logic"
  author:
  - name: "Mauricio Alba-Castro"
    link: "https://researchr.org/alias/mauricio-alba-castro"
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Santiago Escobar"
    link: "https://researchr.org/alias/santiago-escobar"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-17071-3_6"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-17071-3_6"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/fmco/Alba-CastroAE09"
  tags:
  - "graph-rewriting"
  - "certification"
  - "logic"
  - "rewriting logic"
  - "rewriting"
  researchr: "https://researchr.org/publication/Alba-CastroAE09"
  cites: 0
  citedby: 0
  pages: "105-124"
  booktitle: "Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers"
  editor:
  - name: "Frank S. de Boer"
    link: "https://researchr.org/alias/frank-s.-de-boer"
  - name: "Marcello M. Bonsangue"
    link: "https://researchr.org/alias/marcello-m.-bonsangue"
  - name: "Stefan Hallerstede"
    link: "https://researchr.org/alias/stefan-hallerstede"
  - name: "Michael Leuschel"
    link: "https://researchr.org/alias/michael-leuschel"
  volume: "6286"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-17070-6"
  kind: "inproceedings"
  key: "Alba-CastroAE09"
- title: "Declarative Debugging of Functional Logic Programs"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Francisco J. Correa"
    link: "https://researchr.org/alias/francisco-j.-correa"
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  year: "2001"
  doi: "http://www.elsevier.nl/locate/entcs/volume57.html"
  links:
    doi: "http://www.elsevier.nl/locate/entcs/volume57.html"
  tags:
  - "functional programming"
  - "logic programming"
  - "debugging"
  - "logic"
  researchr: "https://researchr.org/publication/AlpuenteCF01"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "57"
  pages: "17-40"
  kind: "article"
  key: "AlpuenteCF01"
- title: "A Unifying View of Functional and Logic Program Specialization"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "1998"
  doi: "http://doi.acm.org/10.1145/289121.289130"
  links:
    doi: "http://doi.acm.org/10.1145/289121.289130"
  tags:
  - "functional programming"
  - "logic programming"
  - "logic"
  researchr: "https://researchr.org/publication/AlpuenteFV98"
  cites: 0
  citedby: 0
  journal: "ACM Computing Surveys"
  volume: "30"
  number: "3es"
  pages: "9"
  kind: "article"
  key: "AlpuenteFV98"
- title: "Using PE to Automate Program Composition"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  - name: "Ginés Moreno"
    link: "https://researchr.org/alias/gin%C3%A9s-moreno"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2000"
  tags:
  - "composition"
  researchr: "https://researchr.org/publication/AlpuenteFMV00%3A0"
  cites: 0
  citedby: 0
  pages: "169-183"
  booktitle: "9th International Workshop on Functional and Logic Programming, WFLP 2000, Benicassim, Spain, September 28-30, 2000"
  editor:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  kind: "inproceedings"
  key: "AlpuenteFMV00:0"
- 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: "Correction of Functional Logic Programs"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Demis Ballis"
    link: "https://researchr.org/alias/demis-ballis"
  - name: "Francisco J. Correa"
    link: "https://researchr.org/alias/francisco-j.-correa"
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  year: "2003"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2618/26180054.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2618/26180054.htm"
  tags:
  - "functional programming"
  - "logic programming"
  - "logic"
  researchr: "https://researchr.org/publication/AlpuenteBCF03"
  cites: 0
  citedby: 0
  pages: "54-68"
  booktitle: "Programming Languages and Systems, 12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings"
  editor:
  - name: "Pierpaolo Degano"
    link: "https://researchr.org/alias/pierpaolo-degano"
  volume: "2618"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-00886-1"
  kind: "inproceedings"
  key: "AlpuenteBCF03"
- title: "An Incremental Needed Narrowing Calculus for Curry"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Salvador Lucas"
    link: "https://researchr.org/alias/salvador-lucas"
  - name: "Santiago Escobar"
    link: "https://researchr.org/alias/santiago-escobar"
  year: "1999"
  tags:
  - "incremental"
  researchr: "https://researchr.org/publication/AlpuenteLE99"
  cites: 0
  citedby: 0
  pages: "75-88"
  booktitle: "1999 Joint Conference on Declarative Programming, AGP 99, L Aquila, Italy, September 6-9, 1999"
  editor:
  - name: "Maria Chiara Meo"
    link: "https://researchr.org/alias/maria-chiara-meo"
  - name: "Manuel Vilares Ferro"
    link: "https://researchr.org/alias/manuel-vilares-ferro"
  kind: "inproceedings"
  key: "AlpuenteLE99"
- 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: "2003 Joint Conference on Declarative Programming, AGP-2003, Reggio Calabria, Italy, September 3-5, 2003"
  editor:
  - name: "Francesco Buccafurri"
    link: "https://researchr.org/alias/francesco-buccafurri"
  kind: "inproceedings"
  key: "AlpuenteBEFL03"
- title: "A Semi-Automatic Methodology for Repairing FaultyWeb Sites"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Demis Ballis"
    link: "https://researchr.org/alias/demis-ballis"
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  - name: "Daniel Romero"
    link: "https://researchr.org/alias/daniel-romero"
  year: "2006"
  doi: "http://doi.ieeecomputersociety.org/10.1109/SEFM.2006.6"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/SEFM.2006.6"
  researchr: "https://researchr.org/publication/AlpuenteBFR06"
  cites: 0
  citedby: 0
  pages: "31-40"
  booktitle: "Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 11-15 September 2006, Pune, India"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-2678-0"
  kind: "inproceedings"
  key: "AlpuenteBFR06"
- title: "On-demand strategy annotations revisited: An improved on-demand evaluation strategy"
  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: "https://researchr.org/alias/bernhard-gramlich"
  - name: "Salvador Lucas"
    link: "https://researchr.org/alias/salvador-lucas"
  year: "2010"
  doi: "http://dx.doi.org/10.1016/j.tcs.2009.09.016"
  links:
    doi: "http://dx.doi.org/10.1016/j.tcs.2009.09.016"
  researchr: "https://researchr.org/publication/AlpuenteEGL10"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "411"
  number: "2"
  pages: "504-541"
  kind: "article"
  key: "AlpuenteEGL10"
- title: "DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Marco A. Feliú"
    link: "https://researchr.org/alias/marco-a.-feli%C3%A3%C2%BA"
  - name: "Christophe Joubert"
    link: "https://researchr.org/alias/christophe-joubert"
  - name: "Alicia Villanueva"
    link: "https://researchr.org/alias/alicia-villanueva"
  year: "2009"
  doi: "http://dx.doi.org/10.1016/j.entcs.2009.07.059"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2009.07.059"
  tags:
  - "rule-based"
  - "Datalog"
  researchr: "https://researchr.org/publication/AlpuenteFJV09"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "248"
  pages: "57-66"
  kind: "article"
  key: "AlpuenteFJV09"
- title: "A Compositional Semantics for Conditional Term Rewriting Systems"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  - name: "María José Ramis"
    link: "https://researchr.org/alias/mar%C3%ADa-jos%C3%A9-ramis"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "1994"
  tags:
  - "semantics"
  - "term rewriting"
  - "composition"
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/AlpuenteFRV94%3A0"
  cites: 0
  citedby: 0
  pages: "171-182"
  booktitle: "Proceedings of the IEEE Computer Society 1994 International Conference on Computer Languages, May 16-19, 1994, Toulouse, France"
  editor:
  - name: "Henri E. Bal"
    link: "https://researchr.org/alias/henri-e.-bal"
  publisher: "IEEE Computer Society"
  kind: "inproceedings"
  key: "AlpuenteFRV94:0"
- title: "A fold/unfold transformation framework for rewrite theories extended to CCT"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Demis Ballis"
    link: "https://researchr.org/alias/demis-ballis"
  - name: "Michele Baggi"
    link: "https://researchr.org/alias/michele-baggi"
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1706356.1706367"
  links:
    doi: "http://doi.acm.org/10.1145/1706356.1706367"
  tags:
  - "graph transformation"
  - "graph-rewriting"
  - "rewriting"
  - "transformation"
  researchr: "https://researchr.org/publication/AlpuenteBBF10"
  cites: 0
  citedby: 0
  pages: "43-52"
  booktitle: "Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2010, Madrid, Spain, January 18-19, 2010"
  editor:
  - name: "John P. Gallagher"
    link: "https://researchr.org/alias/john-p.-gallagher"
  - name: "Janis Voigtländer"
    link: "https://researchr.org/alias/janis-voigtl%C3%A3%C2%A4nder"
  publisher: "ACM"
  isbn: "978-1-60558-727-1"
  kind: "inproceedings"
  key: "AlpuenteBBF10"
- title: "A Rewriting-based Framework for Web Sites Verification"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Demis Ballis"
    link: "https://researchr.org/alias/demis-ballis"
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.entcs.2004.07.014"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2004.07.014"
  tags:
  - "rule-based"
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/AlpuenteBF05"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "124"
  number: "1"
  pages: "41-61"
  kind: "article"
  key: "AlpuenteBF05"
- title: "Termination of Narrowing Using Dependency Pairs"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Santiago Escobar"
    link: "https://researchr.org/alias/santiago-escobar"
  - name: "José Iborra"
    link: "https://researchr.org/alias/jos%C3%A9-iborra"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-89982-2_31"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-89982-2_31"
  tags:
  - "termination"
  researchr: "https://researchr.org/publication/AlpuenteEI08%3A0"
  cites: 0
  citedby: 0
  pages: "317-331"
  booktitle: "Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings"
  editor:
  - name: "Maria Garcia de la Banda"
    link: "https://researchr.org/alias/maria-garcia-de-la-banda"
  - name: "Enrico Pontelli"
    link: "https://researchr.org/alias/enrico-pontelli"
  volume: "5366"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-89981-5"
  kind: "inproceedings"
  key: "AlpuenteEI08:0"
- 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: "Logic Based Program Synthesis and Tranformation, 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20,2002, Revised Selected Papers"
  editor:
  - name: "Michael Leuschel"
    link: "http://www.stups.uni-duesseldorf.de/~leuschel"
  volume: "2664"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-40438-4"
  kind: "inproceedings"
  key: "AlpuenteCEFL02"
- title: "A Tool for Automated Certification of Java Source Code in Maude"
  author:
  - name: "Mauricio Alba-Castro"
    link: "https://researchr.org/alias/mauricio-alba-castro"
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Santiago Escobar"
    link: "https://researchr.org/alias/santiago-escobar"
  - name: "Pedro Ojeda"
    link: "https://researchr.org/alias/pedro-ojeda"
  - name: "Daniel Romero"
    link: "https://researchr.org/alias/daniel-romero"
  year: "2009"
  doi: "http://dx.doi.org/10.1016/j.entcs.2009.07.056"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2009.07.056"
  tags:
  - "Java"
  - "source-to-source"
  - "certification"
  - "open-source"
  researchr: "https://researchr.org/publication/Alba-CastroAEOR09"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "248"
  pages: "19-29"
  kind: "article"
  key: "Alba-CastroAEOR09"
- title: "Abstract Model Checking of tccp programs"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "María-del-Mar Gallardo"
    link: "https://researchr.org/alias/mar%C3%ADa-del-mar-gallardo"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  - name: "Alicia Villanueva"
    link: "https://researchr.org/alias/alicia-villanueva"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.entcs.2004.01.024"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2004.01.024"
  tags:
  - "meta programming"
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/AlpuenteGPV05"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "112"
  pages: "19-36"
  kind: "article"
  key: "AlpuenteGPV05"
- title: "An Abstract Generic Framework for Web Site Verification"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Pedro Ojeda"
    link: "https://researchr.org/alias/pedro-ojeda"
  - name: "Daniel Romero"
    link: "https://researchr.org/alias/daniel-romero"
  - name: "Demis Ballis"
    link: "https://researchr.org/alias/demis-ballis"
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  year: "2008"
  doi: "http://doi.ieeecomputersociety.org/10.1109/SAINT.2008.17"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/SAINT.2008.17"
  researchr: "https://researchr.org/publication/AlpuenteORBF08"
  cites: 0
  citedby: 0
  pages: "104-110"
  booktitle: "Proceedings of the 2008 International Symposium on Applications and the Internet, SAINT 2008, 28 July - 1 August 2008, Turku, Finland"
  publisher: "IEEE Computer Society"
  isbn: "978-0-7695-3297-4"
  kind: "inproceedings"
  key: "AlpuenteORBF08"
- title: "An Abstract Analysis Framework for Synchronous Concurrent Languages based on source-to-source Transformation"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "María-del-Mar Gallardo"
    link: "https://researchr.org/alias/mar%C3%ADa-del-mar-gallardo"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  - name: "Alicia Villanueva"
    link: "https://researchr.org/alias/alicia-villanueva"
  year: "2008"
  doi: "http://dx.doi.org/10.1016/j.entcs.2008.03.072"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2008.03.072"
  tags:
  - "model-to-model transformation"
  - "rule-based"
  - "transformation language"
  - "points-to analysis"
  - "analysis"
  - "source-to-source"
  - "model transformation"
  - "peer-to-peer"
  - "open-source"
  - "transformation"
  researchr: "https://researchr.org/publication/AlpuenteGPV08"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "206"
  pages: "3-21"
  kind: "article"
  key: "AlpuenteGPV08"
- title: "Removing Redundant Arguments of Functions"
  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: "https://researchr.org/alias/salvador-lucas"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2422/24220117.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2422/24220117.htm"
  researchr: "https://researchr.org/publication/AlpuenteEL02"
  cites: 0
  citedby: 0
  pages: "117-131"
  booktitle: "Algebraic Methodology and Software Technology, 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002, Proceedings"
  editor:
  - name: "Hélène Kirchner"
    link: "https://researchr.org/alias/h%C3%A9l%C3%A8ne-kirchner"
  - name: "Christophe Ringeissen"
    link: "http://www.loria.fr/~ringeiss/"
  volume: "2422"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-44144-1"
  kind: "inproceedings"
  key: "AlpuenteEL02"
- title: "Modular Termination of Basic Narrowing"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Santiago Escobar"
    link: "https://researchr.org/alias/santiago-escobar"
  - name: "José Iborra"
    link: "https://researchr.org/alias/jos%C3%A9-iborra"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-70590-1_1"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-70590-1_1"
  tags:
  - "termination"
  researchr: "https://researchr.org/publication/AlpuenteEI08"
  cites: 0
  citedby: 0
  pages: "1-16"
  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: "AlpuenteEI08"
- title: "A Partial Evaluation Framework for Curry Programs"
  author:
  - name: "Elvira Albert"
    link: "https://researchr.org/alias/elvira-albert"
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "1999"
  tags:
  - "partial evaluation"
  researchr: "https://researchr.org/publication/AlbertAHV99"
  cites: 0
  citedby: 0
  pages: "376-395"
  booktitle: "Logic Programming and Automated Reasoning, 6th International Conference, LPAR 99, Tbilisi, Georgia, September 6-10, 1999, Proceedings"
  editor:
  - name: "Harald Ganzinger"
    link: "https://researchr.org/alias/harald-ganzinger"
  - name: "David A. McAllester"
    link: "https://researchr.org/alias/david-a.-mcallester"
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  volume: "1705"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-66492-0"
  kind: "inproceedings"
  key: "AlbertAHV99"
- title: "Incremental Equational Constraint Analyses"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "1993"
  tags:
  - "constraints"
  - "incremental"
  researchr: "https://researchr.org/publication/AlpuenteFV93"
  cites: 0
  citedby: 0
  pages: "657"
  booktitle: "ILPS"
  kind: "inproceedings"
  key: "AlpuenteFV93"
- title: "Transformation and Debugging of Functional Logic Programs"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Demis Ballis"
    link: "https://researchr.org/alias/demis-ballis"
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-14309-0_13"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-14309-0_13"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/agp/AlpuenteBF10"
  tags:
  - "functional programming"
  - "logic programming"
  - "debugging"
  - "logic"
  - "transformation"
  - "program transformation"
  researchr: "https://researchr.org/publication/AlpuenteBF10"
  cites: 0
  citedby: 0
  pages: "271-299"
  booktitle: "A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP"
  editor:
  - name: "Agostino Dovier"
    link: "https://researchr.org/alias/agostino-dovier"
  - name: "Enrico Pontelli"
    link: "https://researchr.org/alias/enrico-pontelli"
  volume: "6125"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-14308-3"
  kind: "inproceedings"
  key: "AlpuenteBF10"
- title: "An integrated framework for the diagnosis and correction of rule-based programs"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Demis Ballis"
    link: "https://researchr.org/alias/demis-ballis"
  - name: "Francisco J. Correa"
    link: "https://researchr.org/alias/francisco-j.-correa"
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  year: "2010"
  doi: "http://dx.doi.org/10.1016/j.tcs.2010.07.009"
  links:
    doi: "http://dx.doi.org/10.1016/j.tcs.2010.07.009"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/tcs/AlpuenteBCF10"
  tags:
  - "rule-based"
  - "rules"
  researchr: "https://researchr.org/publication/AlpuenteBCF10"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "411"
  number: "47"
  pages: "4055-4101"
  kind: "article"
  key: "AlpuenteBCF10"
- title: "An Equational Constraint Logic Approach to Database Design"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "María José Ramírez"
    link: "https://researchr.org/alias/mar%C3%ADa-jos%C3%A9-ram%C3%ADrez"
  year: "1992"
  tags:
  - "constraints"
  - "database"
  - "logic"
  - "design"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/AlpuenteR92"
  cites: 0
  citedby: 0
  pages: "26-31"
  booktitle: "DEXA"
  kind: "inproceedings"
  key: "AlpuenteR92"
- title: "Redundancy Analyses in Term Rewriting"
  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: "https://researchr.org/alias/salvador-lucas"
  year: "2000"
  tags:
  - "redundancy"
  - "term rewriting"
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/AlpuenteEL00"
  cites: 0
  citedby: 0
  pages: "309-323"
  booktitle: "9th International Workshop on Functional and Logic Programming, WFLP 2000, Benicassim, Spain, September 28-30, 2000"
  editor:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  kind: "inproceedings"
  key: "AlpuenteEL00"
- title: "Compositional Analysis for Equational Horn Programs"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "1994"
  tags:
  - "program analysis"
  - "composition"
  - "analysis"
  researchr: "https://researchr.org/publication/AlpuenteFV94"
  cites: 0
  citedby: 0
  pages: "77-94"
  booktitle: "Algebraic and Logic Programming, 4th International Conference, ALP 94, Madid, Spain, September 14-16, 1994, Proceedings"
  editor:
  - name: "Giorgio Levi"
    link: "https://researchr.org/alias/giorgio-levi"
  - name: "Mario Rodríguez-Artalejo"
    link: "https://researchr.org/alias/mario-rodr%C3%ADguez-artalejo"
  volume: "850"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-58431-5"
  kind: "inproceedings"
  key: "AlpuenteFV94"
- title: "Rule-based verification of Web sites"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Demis Ballis"
    link: "https://researchr.org/alias/demis-ballis"
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/s10009-006-0009-7"
  links:
    doi: "http://dx.doi.org/10.1007/s10009-006-0009-7"
  tags:
  - "rule-based"
  - "rules"
  researchr: "https://researchr.org/publication/AlpuenteBF06"
  cites: 0
  citedby: 0
  journal: "STTT"
  volume: "8"
  number: "6"
  pages: "565-585"
  kind: "article"
  key: "AlpuenteBF06"
- title: "Order-Sorted Generalization"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Santiago Escobar"
    link: "https://researchr.org/alias/santiago-escobar"
  - name: "José Meseguer"
    link: "https://researchr.org/alias/jos%C3%A3%C2%A9-meseguer"
  - name: "Pedro Ojeda"
    link: "https://researchr.org/alias/pedro-ojeda"
  year: "2009"
  doi: "http://dx.doi.org/10.1016/j.entcs.2009.07.013"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2009.07.013"
  researchr: "https://researchr.org/publication/AlpuenteEMO09"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "246"
  pages: "27-38"
  kind: "article"
  key: "AlpuenteEMO09"
- title: "Preface"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Santiago Escobar"
    link: "https://researchr.org/alias/santiago-escobar"
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  year: "2006"
  doi: "http://dx.doi.org/10.1016/j.entcs.2005.12.039"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2005.12.039"
  researchr: "https://researchr.org/publication/AlpuenteEF06"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "157"
  number: "2"
  pages: "1-2"
  kind: "article"
  key: "AlpuenteEF06"
- title: "Uniform Lazy Narrowing"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  - name: "Pascual Julián Iranzo"
    link: "https://researchr.org/alias/pascual-juli%C3%A1n-iranzo"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2003"
  doi: "http://www3.oup.co.uk/logcom/hdb/Volume_13/Issue_02/130287.sgm.abs.html"
  links:
    doi: "http://www3.oup.co.uk/logcom/hdb/Volume_13/Issue_02/130287.sgm.abs.html"
  tags:
  - "laziness"
  researchr: "https://researchr.org/publication/AlpuenteFIV03"
  cites: 0
  citedby: 0
  journal: "Journal of Logic and Computation"
  volume: "13"
  number: "2"
  pages: "287-312"
  kind: "article"
  key: "AlpuenteFIV03"
- title: "Verdi: An Automated Tool for Web Sites Verification"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Demis Ballis"
    link: "https://researchr.org/alias/demis-ballis"
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3229&spage=726"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3229&spage=726"
  researchr: "https://researchr.org/publication/AlpuenteBF04%3A0"
  cites: 0
  citedby: 0
  pages: "726-729"
  booktitle: "Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings"
  editor:
  - name: "José Júlio Alferes"
    link: "https://researchr.org/alias/jos%C3%A9-j%C3%BAlio-alferes"
  - name: "João Alexandre Leite"
    link: "https://researchr.org/alias/jo%C3%A3o-alexandre-leite"
  volume: "3229"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-23242-7"
  kind: "inproceedings"
  key: "AlpuenteBF04:0"
- title: "A Modular Equational Generalization Algorithm"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Santiago Escobar"
    link: "https://researchr.org/alias/santiago-escobar"
  - name: "José Meseguer"
    link: "https://researchr.org/alias/jos%C3%A9-meseguer"
  - name: "Pedro Ojeda"
    link: "https://researchr.org/alias/pedro-ojeda"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-642-00515-2_3"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-00515-2_3"
  researchr: "https://researchr.org/publication/AlpuenteEMO08"
  cites: 0
  citedby: 0
  pages: "24-39"
  booktitle: "Logic-Based Program Synthesis and Transformation, 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers"
  editor:
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  volume: "5438"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-00514-5"
  kind: "inproceedings"
  key: "AlpuenteEMO08"
- title: "Preface"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Santiago Escobar"
    link: "https://researchr.org/alias/santiago-escobar"
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  year: "2005"
  researchr: "https://researchr.org/publication/AlpuenteEF05"
  cites: 0
  citedby: 0
  booktitle: "First International Workshop on Automated Specification and Verification of Web Sites (WWV 2005), March 14-15, 2005 Valencia, Spain"
  editor:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Santiago Escobar"
    link: "https://researchr.org/alias/santiago-escobar"
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  volume: "DSIC-II/03/05"
  publisher: "Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia"
  kind: "inproceedings"
  key: "AlpuenteEF05"
- title: "Narrowing as an Incremental Constraint Satisfaction Algorithm"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  year: "1991"
  tags:
  - "constraints"
  - "incremental"
  researchr: "https://researchr.org/publication/AlpuenteF91"
  cites: 0
  citedby: 0
  pages: "111-122"
  booktitle: "PLILP"
  kind: "inproceedings"
  key: "AlpuenteF91"
- title: "Narrowing Approximations as an Optimization for Equational Logic Programs"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  - name: "María José Ramis"
    link: "https://researchr.org/alias/mar%C3%ADa-jos%C3%A9-ramis"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "1993"
  tags:
  - "optimization"
  - "logic programming"
  - "logic"
  - "program optimization"
  researchr: "https://researchr.org/publication/AlpuenteFRV93%3A0"
  cites: 0
  citedby: 0
  pages: "391-409"
  booktitle: "Programming Language Implementation and Logic Programming, 5th International Symposium, PLILP 93, Tallinn, Estonia, August 25-27, 1993, Proceedings"
  editor:
  - name: "Maurice Bruynooghe"
    link: "https://researchr.org/alias/maurice-bruynooghe"
  - name: "Jaan Penjam"
    link: "https://researchr.org/alias/jaan-penjam"
  volume: "714"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-57186-8"
  kind: "inproceedings"
  key: "AlpuenteFRV93:0"
- title: "Un Sistema de Transformación para Programas Multiparadigma"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  - name: "César Ferri"
    link: "https://researchr.org/alias/c%C3%A9sar-ferri"
  - name: "Ginés Moreno"
    link: "https://researchr.org/alias/gin%C3%A9s-moreno"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "1999"
  doi: "http://tornado.dia.fi.upm.es/caepia/numeros/8/alpuente.ps.gz"
  links:
    doi: "http://tornado.dia.fi.upm.es/caepia/numeros/8/alpuente.ps.gz"
  researchr: "https://researchr.org/publication/AlpuenteFFMV99"
  cites: 0
  citedby: 0
  journal: "Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial"
  volume: "8"
  pages: "27-35"
  kind: "article"
  key: "AlpuenteFFMV99"
- title: "Automated Verification of Web Sites Using Partial Rewriting"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Demis Ballis"
    link: "https://researchr.org/alias/demis-ballis"
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  year: "2004"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/AlpuenteBF04"
  cites: 0
  citedby: 0
  pages: "81-88"
  booktitle: "International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary proceedings"
  editor:
  - name: "Tiziana Margaria"
    link: "https://researchr.org/alias/tiziana-margaria"
  - name: "Bernhard Steffen"
    link: "https://researchr.org/alias/bernhard-steffen"
  - name: "Anna Philippou"
    link: "https://researchr.org/alias/anna-philippou"
  - name: "Manfred Reitenspieß"
    link: "https://researchr.org/alias/manfred-reitenspie%C3%9F"
  volume: "TR-2004-6"
  series: "Technical Report"
  publisher: "Department of Computer Science, University of Cyprus"
  kind: "inproceedings"
  key: "AlpuenteBF04"
- title: "A semantic framework for the abstract model checking of tccp programs"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "María-del-Mar Gallardo"
    link: "https://researchr.org/alias/mar%C3%ADa-del-mar-gallardo"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  - name: "Alicia Villanueva"
    link: "https://researchr.org/alias/alicia-villanueva"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.tcs.2005.08.009"
  links:
    doi: "http://dx.doi.org/10.1016/j.tcs.2005.08.009"
  tags:
  - "meta programming"
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/AlpuenteGPV05%3A0"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "346"
  number: "1"
  pages: "58-95"
  kind: "article"
  key: "AlpuenteGPV05:0"
- title: "Partial Evaluation of Functional Logic Programs"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "1998"
  doi: "http://doi.acm.org/10.1145/291891.291896"
  links:
    doi: "http://doi.acm.org/10.1145/291891.291896"
  tags:
  - "functional programming"
  - "logic programming"
  - "partial evaluation"
  - "logic"
  researchr: "https://researchr.org/publication/AlpuenteFV98%3A0"
  cites: 0
  citedby: 0
  journal: "ACM Transactions on Programming Languages and Systems"
  volume: "20"
  number: "4"
  pages: "768-844"
  kind: "article"
  key: "AlpuenteFV98:0"
- title: "Automatic Certification of Java Source Code in Rewriting Logic"
  author:
  - name: "Mauricio Alba-Castro"
    link: "https://researchr.org/alias/mauricio-alba-castro"
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Santiago Escobar"
    link: "https://researchr.org/alias/santiago-escobar"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-79707-4_15"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-79707-4_15"
  tags:
  - "Java"
  - "source-to-source"
  - "graph-rewriting"
  - "certification"
  - "logic"
  - "rewriting logic"
  - "rewriting"
  - "open-source"
  researchr: "https://researchr.org/publication/Alba-CastroAE07"
  cites: 0
  citedby: 0
  pages: "200-217"
  booktitle: "Formal Methods for Industrial Critical Systems, 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers"
  editor:
  - name: "Stefan Leue"
    link: "https://researchr.org/alias/stefan-leue"
  - name: "Pedro Merino"
    link: "https://researchr.org/alias/pedro-merino"
  volume: "4916"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-79706-7"
  kind: "inproceedings"
  key: "Alba-CastroAE07"
- 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: "Semantic Verification of Web System Contents"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Michele Baggi"
    link: "https://researchr.org/alias/michele-baggi"
  - name: "Demis Ballis"
    link: "https://researchr.org/alias/demis-ballis"
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-87991-6_51"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-87991-6_51"
  tags:
  - "semantic web"
  researchr: "https://researchr.org/publication/AlpuenteBBF08"
  cites: 0
  citedby: 0
  pages: "437-446"
  booktitle: "Advances in Conceptual Modeling - Challenges and Opportunities, ER 2008 Workshops CMLSA, ECDM, FP-UML, M2AS, RIGiM, SeCoGIS, WISM, Barcelona Spain, October 20-23, 2008. Proceedings"
  editor:
  - name: "Il-Yeol Song"
    link: "https://researchr.org/alias/il-yeol-song"
  - name: "Mario Piattini"
    link: "https://researchr.org/alias/mario-piattini"
  - name: "Yi-Ping Phoebe Chen"
    link: "https://researchr.org/alias/yi-ping-phoebe-chen"
  - name: "Sven Hartmann"
    link: "https://researchr.org/alias/sven-hartmann"
  - name: "Fabio Grandi"
    link: "https://researchr.org/alias/fabio-grandi"
  - name: "Juan Trujillo"
    link: "https://researchr.org/alias/juan-trujillo"
  - name: "Andreas L. Opdahl"
    link: "https://researchr.org/alias/andreas-l.-opdahl"
  - name: "Fernando Ferri"
    link: "https://researchr.org/alias/fernando-ferri"
  - name: "Patrizia Grifoni"
    link: "https://researchr.org/alias/patrizia-grifoni"
  - name: "Maria Chiara Caschera"
    link: "https://researchr.org/alias/maria-chiara-caschera"
  - name: "Colette Rolland"
    link: "https://researchr.org/alias/colette-rolland"
  - name: "Carson Woo"
    link: "https://researchr.org/alias/carson-woo"
  - name: "Camille Salinesi"
    link: "https://researchr.org/alias/camille-salinesi"
  - name: "Esteban Zimányi"
    link: "https://researchr.org/alias/esteban-zim%C3%A1nyi"
  - name: "Christophe Claramunt"
    link: "https://researchr.org/alias/christophe-claramunt"
  - name: "Flavius Frasincar"
    link: "https://researchr.org/alias/flavius-frasincar"
  - name: "Geert-Jan Houben"
    link: "https://researchr.org/alias/geert-jan-houben"
  - name: "Philippe Thiran"
    link: "https://researchr.org/alias/philippe-thiran"
  volume: "5232"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-87990-9"
  kind: "inproceedings"
  key: "AlpuenteBBF08"
- title: "Narrowing-Driven Partial Evaluation of Functional Logic Programs"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "1996"
  tags:
  - "functional programming"
  - "logic programming"
  - "partial evaluation"
  - "logic"
  researchr: "https://researchr.org/publication/AlpuenteFV96"
  cites: 0
  citedby: 0
  pages: "45-61"
  booktitle: "Programming Languages and Systems - ESOP 96, 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996, Proceedings"
  editor:
  - name: "Hanne Riis Nielson"
    link: "https://researchr.org/alias/hanne-riis-nielson"
  volume: "1058"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-61055-3"
  kind: "inproceedings"
  key: "AlpuenteFV96"
- title: "Model-Checking Web Applications with Web-TLR"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Demis Ballis"
    link: "https://researchr.org/alias/demis-ballis"
  - name: "Javier Espert"
    link: "https://researchr.org/alias/javier-espert"
  - name: "Daniel Romero"
    link: "https://researchr.org/alias/daniel-romero"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-15643-4_25"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-15643-4_25"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/atva/AlpuenteBER10"
  tags:
  - "model checking"
  - "meta-model"
  - "web applications"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/AlpuenteBER10"
  cites: 0
  citedby: 0
  pages: "341-346"
  booktitle: "Automated Technology for Verification and Analysis - 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings"
  editor:
  - name: "Ahmed Bouajjani"
    link: "https://researchr.org/alias/ahmed-bouajjani"
  - name: "Wei-Ngan Chin"
    link: "https://researchr.org/alias/wei-ngan-chin"
  volume: "6252"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-15642-7"
  kind: "inproceedings"
  key: "AlpuenteBER10"
- title: "A Symbolic Model Checker for tccp Programs"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  - name: "Alicia Villanueva"
    link: "https://researchr.org/alias/alicia-villanueva"
  year: "2004"
  doi: "http://dx.doi.org/10.1007/11423331_5"
  links:
    doi: "http://dx.doi.org/10.1007/11423331_5"
  tags:
  - "meta programming"
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/AlpuenteFV04"
  cites: 0
  citedby: 0
  pages: "45-56"
  booktitle: "Rapid Integration of Software Engineering Techniques, First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004, Revised Selected Papers"
  editor:
  - name: "Nicolas Guelfi"
    link: "https://researchr.org/alias/nicolas-guelfi"
  volume: "3475"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-25812-4"
  kind: "inproceedings"
  key: "AlpuenteFV04"
- 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: "Automated Certification of Non-Interference in Rewriting Logic"
  author:
  - name: "Mauricio Alba-Castro"
    link: "https://researchr.org/alias/mauricio-alba-castro"
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Santiago Escobar"
    link: "https://researchr.org/alias/santiago-escobar"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-642-03240-0_16"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-03240-0_16"
  tags:
  - "graph-rewriting"
  - "certification"
  - "logic"
  - "rewriting logic"
  - "rewriting"
  researchr: "https://researchr.org/publication/Alba-CastroAE08"
  cites: 0
  citedby: 0
  pages: "182-198"
  booktitle: "Formal Methods for Industrial Critical Systems, 13th International Workshop, FMICS 2008, L Aquila, Italy, September 15-16, 2008, Revised Selected Papers"
  editor:
  - name: "Darren D. Cofer"
    link: "https://researchr.org/alias/darren-d.-cofer"
  - name: "Alessandro Fantechi"
    link: "https://researchr.org/alias/alessandro-fantechi"
  volume: "5596"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-03239-4"
  kind: "inproceedings"
  key: "Alba-CastroAE08"
- title: "UPV-CURRY: An Incremental CURRY Interpreter"
  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: "https://researchr.org/alias/salvador-lucas"
  year: "1999"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1725/17250331.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1725/17250331.htm"
  tags:
  - "interpreter"
  - "incremental"
  researchr: "https://researchr.org/publication/AlpuenteEL99"
  cites: 0
  citedby: 0
  pages: "331-339"
  booktitle: "SOFSEM  99, Theory and Practice of Informatics, 26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 27 - December 4, 1999, Proceedings"
  editor:
  - name: "Jan Pavelka"
    link: "https://researchr.org/alias/jan-pavelka"
  - name: "Gerard Tel"
    link: "https://researchr.org/alias/gerard-tel"
  - name: "Miroslav Bartosek"
    link: "https://researchr.org/alias/miroslav-bartosek"
  volume: "1725"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-66694-X"
  kind: "inproceedings"
  key: "AlpuenteEL99"
- title: "Using Datalog and Boolean Equation Systems for Program Analysis"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Marco A. Feliú"
    link: "https://researchr.org/alias/marco-a.-feli%C3%A3%C2%BA"
  - name: "Christophe Joubert"
    link: "https://researchr.org/alias/christophe-joubert"
  - name: "Alicia Villanueva"
    link: "https://researchr.org/alias/alicia-villanueva"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-642-03240-0_18"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-03240-0_18"
  tags:
  - "program analysis"
  - "analysis"
  - "Datalog"
  researchr: "https://researchr.org/publication/AlpuenteFJV08"
  cites: 0
  citedby: 0
  pages: "215-231"
  booktitle: "Formal Methods for Industrial Critical Systems, 13th International Workshop, FMICS 2008, L Aquila, Italy, September 15-16, 2008, Revised Selected Papers"
  editor:
  - name: "Darren D. Cofer"
    link: "https://researchr.org/alias/darren-d.-cofer"
  - name: "Alessandro Fantechi"
    link: "https://researchr.org/alias/alessandro-fantechi"
  volume: "5596"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-03239-4"
  kind: "inproceedings"
  key: "AlpuenteFJV08"
- title: "Call-By Name Partial Evaluation of Functional Logic Programs"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  - name: "Pascual Julián Iranzo"
    link: "https://researchr.org/alias/pascual-juli%C3%A1n-iranzo"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "1996"
  tags:
  - "functional programming"
  - "logic programming"
  - "partial evaluation"
  - "logic"
  researchr: "https://researchr.org/publication/AlpuenteFIV96"
  cites: 0
  citedby: 0
  pages: "17-28"
  booktitle: "1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE 96, Donostia-San Sebastian, Spain, July 15-18, 1996"
  editor:
  - name: "Paqui Lucio"
    link: "https://researchr.org/alias/paqui-lucio"
  - name: "Maurizio Martelli"
    link: "https://researchr.org/alias/maurizio-martelli"
  - name: "Marisa Navarro"
    link: "https://researchr.org/alias/marisa-navarro"
  kind: "inproceedings"
  key: "AlpuenteFIV96"
- 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: "Electronic Notes in Theoretical Computer Science"
  volume: "86"
  number: "3"
  pages: "105-122"
  kind: "article"
  key: "AlpuenteBEFL03:0"
- title: "Incremental Constraint Satisfaction for Equational Logic Programming"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  - name: "Giorgio Levi"
    link: "https://researchr.org/alias/giorgio-levi"
  year: "1995"
  doi: "http://dx.doi.org/10.1016/0304-3975(94)00224-7"
  links:
    doi: "http://dx.doi.org/10.1016/0304-3975(94)00224-7"
  tags:
  - "constraints"
  - "logic programming"
  - "programming"
  - "logic"
  - "incremental"
  researchr: "https://researchr.org/publication/AlpuenteFL95"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "142"
  number: "1"
  pages: "27-57"
  kind: "article"
  key: "AlpuenteFL95"
- title: "Polygenetic Partial Evaluation of Lazy Functional Logic Programs"
  author:
  - name: "Elvira Albert"
    link: "https://researchr.org/alias/elvira-albert"
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  - name: "Pascual Julián Iranzo"
    link: "https://researchr.org/alias/pascual-juli%C3%A1n-iranzo"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "1998"
  tags:
  - "laziness"
  - "functional programming"
  - "logic programming"
  - "partial evaluation"
  - "logic"
  researchr: "https://researchr.org/publication/AlbertAFIV98"
  cites: 0
  citedby: 0
  pages: "151-164"
  booktitle: "1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE 98, A Coruña, Spain, July 20-23, 1998"
  editor:
  - name: "José Luis Freire-Nistal"
    link: "https://researchr.org/alias/jos%C3%A9-luis-freire-nistal"
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  - name: "Manuel Vilares Ferro"
    link: "https://researchr.org/alias/manuel-vilares-ferro"
  kind: "inproceedings"
  key: "AlbertAFIV98"
- title: "Improving Control in Functional Logic Program Specialization"
  author:
  - name: "Elvira Albert"
    link: "https://researchr.org/alias/elvira-albert"
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  - name: "Pascual Julián Iranzo"
    link: "https://researchr.org/alias/pascual-juli%C3%A1n-iranzo"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "1998"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1503/15030262.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1503/15030262.htm"
  tags:
  - "functional programming"
  - "logic programming"
  - "logic"
  researchr: "https://researchr.org/publication/AlbertAFJV98"
  cites: 0
  citedby: 0
  pages: "262-277"
  booktitle: "Static Analysis, 5th International Symposium, SAS  98, Pisa, Italy, September 14-16, 1998, Proceedings"
  editor:
  - name: "Giorgio Levi"
    link: "https://researchr.org/alias/giorgio-levi"
  volume: "1503"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-65014-8"
  kind: "inproceedings"
  key: "AlbertAFJV98"
- title: "Specialization of Lazy Functional Logic Programs"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  - name: "Pascual Julián Iranzo"
    link: "https://researchr.org/alias/pascual-juli%C3%A1n-iranzo"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "1997"
  doi: "http://doi.acm.org/10.1145/258993.259015"
  links:
    doi: "http://doi.acm.org/10.1145/258993.259015"
  tags:
  - "laziness"
  - "functional programming"
  - "logic programming"
  - "logic"
  researchr: "https://researchr.org/publication/AlpuenteFJV97"
  cites: 0
  citedby: 0
  pages: "151-162"
  booktitle: "PEPM"
  kind: "inproceedings"
  key: "AlpuenteFJV97"
- title: "Analyses of Inconsistency for Incremental Equational Logic Programming"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  - name: "Ferdinando Manzo"
    link: "https://researchr.org/alias/ferdinando-manzo"
  year: "1992"
  tags:
  - "logic programming"
  - "programming"
  - "logic"
  - "incremental"
  researchr: "https://researchr.org/publication/AlpuenteFM92"
  cites: 0
  citedby: 0
  pages: "443-457"
  booktitle: "Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP 92, Leuven, Belgium, August 26-28, 1992, Proceedings"
  editor:
  - name: "Maurice Bruynooghe"
    link: "https://researchr.org/alias/maurice-bruynooghe"
  - name: "Martin Wirsing"
    link: "https://researchr.org/alias/martin-wirsing"
  volume: "631"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-55844-6"
  kind: "inproceedings"
  key: "AlpuenteFM92"
- 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 compact fixpoint semantics for term rewriting systems"
  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: "José Iborra"
    link: "https://researchr.org/alias/jos%C3%A9-iborra"
  year: "2010"
  doi: "http://dx.doi.org/10.1016/j.tcs.2010.05.012"
  links:
    doi: "http://dx.doi.org/10.1016/j.tcs.2010.05.012"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/tcs/AlpuenteCEFI10"
  tags:
  - "semantics"
  - "term rewriting"
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/AlpuenteCEFI10"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "411"
  number: "37"
  pages: "3348-3371"
  kind: "article"
  key: "AlpuenteCEFI10"
- title: "Specification and Verification of Web Applications in Rewriting Logic"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Demis Ballis"
    link: "https://researchr.org/alias/demis-ballis"
  - name: "Daniel Romero"
    link: "https://researchr.org/alias/daniel-romero"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-05089-3_50"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-05089-3_50"
  tags:
  - "graph-rewriting"
  - "web applications"
  - "logic"
  - "rewriting logic"
  - "rewriting"
  researchr: "https://researchr.org/publication/AlpuenteBR09"
  cites: 0
  citedby: 0
  pages: "790-805"
  booktitle: "FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings"
  editor:
  - name: "Ana Cavalcanti"
    link: "https://researchr.org/alias/ana-cavalcanti"
  - name: "Dennis Dams"
    link: "https://researchr.org/alias/dennis-dams"
  volume: "5850"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-05088-6"
  kind: "inproceedings"
  key: "AlpuenteBR09"
- title: "A Fold/Unfold Transformation Framework for Rewrite Theories Extended to CCT"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Demis Ballis"
    link: "https://researchr.org/alias/demis-ballis"
  - name: "Michele Baggi"
    link: "https://researchr.org/alias/michele-baggi"
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  tags:
  - "graph transformation"
  - "graph-rewriting"
  - "rewriting"
  - "transformation"
  researchr: "https://researchr.org/publication/Alpuente%3APEPM%3A2010"
  cites: 0
  citedby: 0
  booktitle: "Proceedings of the ACM SIGPLAN 2010 Workshop on Partial Evaluation and Program Manipulation"
  editor:
  - name: "John P. Gallagher"
    link: "http://akira.ruc.dk/~jpg/"
  - name: "Janis Voigtländer"
    link: "http://www.iai.uni-bonn.de/~jv/"
  publisher: "ACM"
  kind: "inproceedings"
  key: "Alpuente:PEPM:2010"
- title: "Verifying Real-Time Properties of tccp Programs"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "María-del-Mar Gallardo"
    link: "https://researchr.org/alias/mar%C3%ADa-del-mar-gallardo"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  - name: "Alicia Villanueva"
    link: "https://researchr.org/alias/alicia-villanueva"
  year: "2006"
  doi: "http://www.jucs.org/jucs_12_11/verifying_real_time_properties"
  links:
    doi: "http://www.jucs.org/jucs_12_11/verifying_real_time_properties"
  tags:
  - "program verification"
  researchr: "https://researchr.org/publication/AlpuenteGPV06"
  cites: 0
  citedby: 0
  journal: "J. UCS"
  volume: "12"
  number: "11"
  pages: "1551-1573"
  kind: "article"
  key: "AlpuenteGPV06"
- 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: "1995 Joint Conference on Declarative Programming, GULP-PRODE 95, Marina di Vietri, Italy, September 11-14, 1995"
  year: "1995"
  tags:
  - "programming"
  researchr: "https://researchr.org/publication/agp%3A1995"
  cites: 0
  citedby: 0
  booktitle: "1995 Joint Conference on Declarative Programming, GULP-PRODE 95, Marina di Vietri, Italy, September 11-14, 1995"
  conference: "agp"
  editor:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Maria I. Sessa"
    link: "https://researchr.org/alias/maria-i.-sessa"
  kind: "proceedings"
  key: "agp:1995"
- title: "1994 Joint Conference on Declarative Programming, GULP-PRODE 94 Peñiscola, Spain, September 19-22, 1994, Volume 1"
  year: "1994"
  tags:
  - "programming"
  researchr: "https://researchr.org/publication/agp%3A1994-1"
  cites: 0
  citedby: 0
  booktitle: "1994 Joint Conference on Declarative Programming, GULP-PRODE 94 Peñiscola, Spain, September 19-22, 1994, Volume 1"
  conference: "agp"
  editor:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Roberto Barbuti"
    link: "https://researchr.org/alias/roberto-barbuti"
  - name: "Isidro Ramos"
    link: "https://researchr.org/alias/isidro-ramos"
  kind: "proceedings"
  key: "agp:1994-1"
- title: "9th International Workshop on Functional and Logic Programming, WFLP 2000, Benicassim, Spain, September 28-30, 2000"
  year: "2000"
  tags:
  - "functional programming"
  - "logic programming"
  - "programming"
  - "logic"
  researchr: "https://researchr.org/publication/wflp%3A2000"
  cites: 0
  citedby: 0
  booktitle: "9th International Workshop on Functional and Logic Programming, WFLP 2000, Benicassim, Spain, September 28-30, 2000"
  conference: "wflp"
  editor:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  kind: "proceedings"
  key: "wflp:2000"
- title: "Formal Methods for Industrial Critical Systems, 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-04570-7"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-04570-7"
  researchr: "https://researchr.org/publication/fmics-2009"
  cites: 0
  citedby: 0
  booktitle: "Formal Methods for Industrial Critical Systems, 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings"
  conference: "fmics"
  editor:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Byron Cook"
    link: "https://researchr.org/alias/byron-cook"
  - name: "Christophe Joubert"
    link: "https://researchr.org/alias/christophe-joubert"
  volume: "5825"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-04569-1"
  kind: "proceedings"
  key: "fmics-2009"
- title: "Static Analysis, 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings"
  year: "2008"
  tags:
  - "analysis"
  - "static analysis"
  researchr: "https://researchr.org/publication/sas%3A2008"
  cites: 0
  citedby: 0
  booktitle: "Static Analysis, 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings"
  conference: "SAS"
  editor:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  volume: "5079"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-69163-1"
  kind: "proceedings"
  key: "sas:2008"
- title: "First International Workshop on Automated Specification and Verification of Web Sites (WWV 2005), March 14-15, 2005 Valencia, Spain"
  year: "2005"
  researchr: "https://researchr.org/publication/wwv%3A2005"
  cites: 0
  citedby: 0
  booktitle: "First International Workshop on Automated Specification and Verification of Web Sites (WWV 2005), March 14-15, 2005 Valencia, Spain"
  conference: "wwv"
  editor:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Santiago Escobar"
    link: "https://researchr.org/alias/santiago-escobar"
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  volume: "DSIC-II/03/05"
  publisher: "Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia"
  kind: "proceedings"
  key: "wwv:2005"
- title: "1994 Joint Conference on Declarative Programming, GULP-PRODE 94 Peñiscola, Spain, September 19-22, 1994, Volume 2"
  year: "1994"
  tags:
  - "programming"
  researchr: "https://researchr.org/publication/agp%3A1994-2"
  cites: 0
  citedby: 0
  booktitle: "1994 Joint Conference on Declarative Programming, GULP-PRODE 94 Peñiscola, Spain, September 19-22, 1994, Volume 2"
  conference: "agp"
  editor:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Roberto Barbuti"
    link: "https://researchr.org/alias/roberto-barbuti"
  - name: "Isidro Ramos"
    link: "https://researchr.org/alias/isidro-ramos"
  kind: "proceedings"
  key: "agp:1994-2"