@article{AlbertHHOV05,
  title = {Operational semantics for declarative multi-paradigm languages},
  author = {Elvira Albert and Michael Hanus and Frank Huch and Javier Oliver and Germán Vidal},
  year = {2005},
  doi = {10.1016/j.jsc.2004.01.001},
  url = {http://dx.doi.org/10.1016/j.jsc.2004.01.001},
  tags = {semantics, operational semantics},
  researchr = {https://researchr.org/publication/AlbertHHOV05},
  cites = {0},
  citedby = {0},
  journal = {JSC},
  volume = {40},
  number = {1},
  pages = {795-829},
}

@inproceedings{AlbertAFIV98,
  title = {Polygenetic Partial Evaluation of Lazy Functional Logic Programs},
  author = {Elvira Albert and María Alpuente and Moreno Falaschi and Pascual Julián Iranzo and Germán Vidal},
  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 = {agp},
}

@inproceedings{AlbertFSV00:0,
  title = {List-Processing Optimizations in a Multi-Paradigm Declarative Language},
  author = {Elvira Albert and César Ferri and Frank Steiner and Germán Vidal},
  year = {2000},
  tags = {optimization},
  researchr = {https://researchr.org/publication/AlbertFSV00%3A0},
  cites = {0},
  citedby = {0},
  pages = {184-194},
  booktitle = {wflp},
}

@inproceedings{FischerSTV07,
  title = {Preserving Sharing in the Partial Evaluation of Lazy Functional Programs},
  author = {Sebastian Fischer and Josep Silva and Salvador Tamarit and Germán Vidal},
  year = {2007},
  doi = {10.1007/978-3-540-78769-3_6},
  url = {http://dx.doi.org/10.1007/978-3-540-78769-3_6},
  tags = {laziness, functional programming, partial evaluation},
  researchr = {https://researchr.org/publication/FischerSTV07},
  cites = {0},
  citedby = {0},
  pages = {74-89},
  booktitle = {LOPSTR},
}

@inproceedings{OchoaSV04,
  title = {Dynamic slicing based on redex trails},
  author = {Claudio Ochoa and Josep Silva and Germán Vidal},
  year = {2004},
  doi = {10.1145/1014007.1014020},
  url = {http://doi.acm.org/10.1145/1014007.1014020},
  tags = {rule-based, slicing},
  researchr = {https://researchr.org/publication/OchoaSV04},
  cites = {0},
  citedby = {0},
  pages = {123-134},
  booktitle = {PEPM},
}

@inproceedings{BrasselHHV04,
  title = {A semantics for tracing declarative multi-paradigm programs},
  author = {Bernd Brassel and Michael Hanus and Frank Huch and Germán Vidal},
  year = {2004},
  doi = {10.1145/1013963.1013984},
  url = {http://doi.acm.org/10.1145/1013963.1013984},
  tags = {semantics, programming paradigms},
  researchr = {https://researchr.org/publication/BrasselHHV04},
  cites = {0},
  citedby = {0},
  pages = {179-190},
  booktitle = {ppdp},
}

@article{AlbertHV02,
  title = {A Practical Partial Evaluation Scheme for Multi-Paradigm Declarative Languages},
  author = {Elvira Albert and Michael Hanus and Germán Vidal},
  year = {2002},
  url = {http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/2002/S02-01/JFLP-A02-01.pdf},
  tags = {partial evaluation},
  researchr = {https://researchr.org/publication/AlbertHV02},
  cites = {0},
  citedby = {0},
  journal = {jflp},
  volume = {2002},
}

@article{OchoaSV08,
  title = {Dynamic slicing of lazy functional programs based on redex trails},
  author = {Claudio Ochoa and Josep Silva and Germán Vidal},
  year = {2008},
  doi = {10.1007/s10990-008-9023-7},
  url = {http://dx.doi.org/10.1007/s10990-008-9023-7},
  tags = {laziness, rule-based, functional programming, slicing},
  researchr = {https://researchr.org/publication/OchoaSV08},
  cites = {0},
  citedby = {0},
  journal = {lisp},
  volume = {21},
  number = {1-2},
  pages = {147-192},
}

@article{AlpuenteFV98,
  title = {A Unifying View of Functional and Logic Program Specialization},
  author = {María Alpuente and Moreno Falaschi and Germán Vidal},
  year = {1998},
  doi = {10.1145/289121.289130},
  url = {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 Comput. Surv.},
  volume = {30},
  number = {3es},
  pages = {9},
}

@inproceedings{AlpuenteFRV94:0,
  title = {A Compositional Semantics for Conditional Term Rewriting Systems},
  author = {María Alpuente and Moreno Falaschi and María José Ramis and Germán Vidal},
  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 = {iccl},
}

@inproceedings{AlpuenteFJV97,
  title = {Specialization of Lazy Functional Logic Programs},
  author = {María Alpuente and Moreno Falaschi and Pascual Julián Iranzo and Germán Vidal},
  year = {1997},
  doi = {10.1145/258993.259015},
  url = {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},
}

@inproceedings{AlpuenteFMV97,
  title = {Safe Folding/Unfolding with Conditional Narrowing},
  author = {María Alpuente and Moreno Falaschi and Ginés Moreno and Germán Vidal},
  year = {1997},
  researchr = {https://researchr.org/publication/AlpuenteFMV97},
  cites = {0},
  citedby = {0},
  pages = {1-15},
  booktitle = {icalp},
}

@inproceedings{AlpuenteFRV93,
  title = {Using Narrowing Approximations to Optimize Equational Logic Programs},
  author = {María Alpuente and Moreno Falaschi and María José Ramis and Germán Vidal},
  year = {1993},
  tags = {optimization, logic programming, logic, program optimization},
  researchr = {https://researchr.org/publication/AlpuenteFRV93},
  cites = {0},
  citedby = {0},
  pages = {127-142},
  booktitle = {agp},
}

@inproceedings{AlpuenteFMV97:0,
  title = {Safe Folding/Unfolding with Conditional Narrowing},
  author = {María Alpuente and Moreno Falaschi and Ginés Moreno and Germán Vidal},
  year = {1997},
  researchr = {https://researchr.org/publication/AlpuenteFMV97%3A0},
  cites = {0},
  citedby = {0},
  pages = {347-358},
  booktitle = {agp},
}

@inproceedings{AlbertV01:0,
  title = {Symbolic Profiling for Multi-paradigm Declarative Languages},
  author = {Elvira Albert and Germán Vidal},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2372/23720148.htm},
  researchr = {https://researchr.org/publication/AlbertV01%3A0},
  cites = {0},
  citedby = {0},
  pages = {148-167},
  booktitle = {LOPSTR},
}

@inproceedings{ArroyoRSV06,
  title = {Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change Graphs},
  author = {Gustavo Arroyo and J. Guadalupe Ramos and Josep Silva and Germán Vidal},
  year = {2006},
  doi = {10.1007/978-3-540-71410-1_6},
  url = {http://dx.doi.org/10.1007/978-3-540-71410-1_6},
  tags = {graph-rewriting, partial evaluation, rewriting},
  researchr = {https://researchr.org/publication/ArroyoRSV06},
  cites = {0},
  citedby = {0},
  pages = {60-76},
  booktitle = {LOPSTR},
}

@inproceedings{BrasselHFHV07,
  title = {Lazy call-by-value evaluation},
  author = {Bernd Braßel and Michael Hanus and Sebastian Fischer and Frank Huch and Germán Vidal},
  year = {2007},
  doi = {10.1145/1291151.1291193},
  url = {http://doi.acm.org/10.1145/1291151.1291193},
  tags = {laziness},
  researchr = {https://researchr.org/publication/BrasselHFHV07},
  cites = {0},
  citedby = {0},
  pages = {265-276},
  booktitle = {ICFP},
}

@article{LlorensOSTV08,
  title = {Dynamic Slicing Techniques for Petri Nets},
  author = {Marisa Llorens and Javier Oliver and Josep Silva and Salvador Tamarit and Germán Vidal},
  year = {2008},
  doi = {10.1016/j.entcs.2008.12.037},
  url = {http://dx.doi.org/10.1016/j.entcs.2008.12.037},
  tags = {slicing},
  researchr = {https://researchr.org/publication/LlorensOSTV08},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {223},
  pages = {153-165},
}

@inproceedings{AlpuenteFRV93:0,
  title = {Narrowing Approximations as an Optimization for Equational Logic Programs},
  author = {María Alpuente and Moreno Falaschi and María José Ramis and Germán Vidal},
  year = {1993},
  tags = {optimization, logic programming, logic, program optimization},
  researchr = {https://researchr.org/publication/AlpuenteFRV93%3A0},
  cites = {0},
  citedby = {0},
  pages = {391-409},
  booktitle = {plilp},
}

@inproceedings{AlbertAV00a,
  title = {Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages},
  author = {Elvira Albert and Sergio Antoy and Germán Vidal},
  year = {2000},
  url = {http://link.springer.de/link/service/series/0558/bibs/2042/20420103.htm},
  tags = {partial evaluation, logic},
  researchr = {https://researchr.org/publication/AlbertAV00a},
  cites = {0},
  citedby = {0},
  pages = {103-124},
  booktitle = {LOPSTR},
}

@inproceedings{AlpuenteFRV94,
  title = {A Compositional Semantics for Conditional Term Rewriting Systems},
  author = {María Alpuente and Moreno Falaschi and María José Ramis and Germán Vidal},
  year = {1994},
  tags = {semantics, term rewriting, composition, graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/AlpuenteFRV94},
  cites = {0},
  citedby = {0},
  pages = {62-76},
  booktitle = {agp},
}

@inproceedings{ArroyoRTV08,
  title = {A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs},
  author = {Gustavo Arroyo and J. Guadalupe Ramos and Salvador Tamarit and Germán Vidal},
  year = {2008},
  doi = {10.1007/978-3-642-00515-2_4},
  url = {http://dx.doi.org/10.1007/978-3-642-00515-2_4},
  tags = {functional programming, higher-order transformations, systematic-approach, transformation, program transformation},
  researchr = {https://researchr.org/publication/ArroyoRTV08},
  cites = {0},
  citedby = {0},
  pages = {40-54},
  booktitle = {LOPSTR},
}

@article{AlbertHHOV02a,
  title = {Operational Semantics for Functional Logic Languages},
  author = {Elvira Albert and Michael Hanus and Frank Huch and Javier Oliver and Germán Vidal},
  year = {2002},
  url = {http://www.elsevier.com/gej-ng/31/29/23/126/23/show/Products/notes/index.htt#002},
  tags = {semantics, operational semantics, logic},
  researchr = {https://researchr.org/publication/AlbertHHOV02a},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {76},
  pages = {1-19},
}

@inproceedings{BrasselHHSV04,
  title = {Run-Time Profiling of Functional Logic Programs},
  author = {Bernd Brassel and Michael Hanus and Frank Huch and Josep Silva and Germán Vidal},
  year = {2004},
  doi = {10.1007/11506676_12},
  url = {http://dx.doi.org/10.1007/11506676_12},
  tags = {functional programming, logic programming, logic},
  researchr = {https://researchr.org/publication/BrasselHHSV04},
  cites = {0},
  citedby = {0},
  pages = {182-197},
  booktitle = {LOPSTR},
}

@inproceedings{ValkV77,
  title = {On the rationality of Petri net languages},
  author = {Rüdiger Valk and Germán Vidal},
  year = {1977},
  researchr = {https://researchr.org/publication/ValkV77},
  cites = {0},
  citedby = {0},
  pages = {319-328},
  booktitle = {tcs},
}

@inproceedings{AlbertFSV00,
  title = {Improving Functional Logic Programs by Difference-Lists},
  author = {Elvira Albert and César Ferri and Frank Steiner and Germán Vidal},
  year = {2000},
  url = {http://link.springer.de/link/service/series/0558/bibs/1961/19610237.htm},
  tags = {functional programming, logic programming, logic},
  researchr = {https://researchr.org/publication/AlbertFSV00},
  cites = {0},
  citedby = {0},
  pages = {237-254},
  booktitle = {asian},
}

@inproceedings{AlpuenteFV96,
  title = {Narrowing-Driven Partial Evaluation of Functional Logic Programs},
  author = {María Alpuente and Moreno Falaschi and Germán Vidal},
  year = {1996},
  tags = {functional programming, logic programming, partial evaluation, logic},
  researchr = {https://researchr.org/publication/AlpuenteFV96},
  cites = {0},
  citedby = {0},
  pages = {45-61},
  booktitle = {ESOP},
}

@inproceedings{AlpuenteFMV00:0,
  title = {Using PE to Automate Program Composition},
  author = {María Alpuente and Moreno Falaschi and Ginés Moreno and Germán Vidal},
  year = {2000},
  tags = {composition},
  researchr = {https://researchr.org/publication/AlpuenteFMV00%3A0},
  cites = {0},
  citedby = {0},
  pages = {169-183},
  booktitle = {wflp},
}

@article{AlpuenteFFMV99,
  title = {Un Sistema de Transformación para Programas Multiparadigma},
  author = {María Alpuente and Moreno Falaschi and César Ferri and Ginés Moreno and Germán Vidal},
  year = {1999},
  url = {http://tornado.dia.fi.upm.es/caepia/numeros/8/alpuente.ps.gz},
  researchr = {https://researchr.org/publication/AlpuenteFFMV99},
  cites = {0},
  citedby = {0},
  journal = {aepia},
  volume = {8},
  pages = {27-35},
}

@article{RamosSV07,
  title = {Ensuring the quasi-termination of needed narrowing computations},
  author = {J. Guadalupe Ramos and Josep Silva and Germán Vidal},
  year = {2007},
  doi = {10.1016/j.ipl.2006.09.010},
  url = {http://dx.doi.org/10.1016/j.ipl.2006.09.010},
  tags = {termination},
  researchr = {https://researchr.org/publication/RamosSV07},
  cites = {0},
  citedby = {0},
  journal = {ipl},
  volume = {101},
  number = {5},
  pages = {220-226},
}

@inproceedings{AlbertHV00:0,
  title = {Realistic Program Specialization in a Multi-Paradigm Language},
  author = {Elvira Albert and Michael Hanus and Germán Vidal},
  year = {2000},
  tags = {programming languages, programming paradigms, programming},
  researchr = {https://researchr.org/publication/AlbertHV00%3A0},
  cites = {0},
  citedby = {0},
  pages = {104-119},
  booktitle = {wflp},
}

@inproceedings{AlbertHV01,
  title = {A Practical Partial Evaluator for a Multi-Paradigm Declarative Language},
  author = {Elvira Albert and Michael Hanus and Germán Vidal},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2024/20240326.htm},
  tags = {partial evaluation},
  researchr = {https://researchr.org/publication/AlbertHV01},
  cites = {0},
  citedby = {0},
  pages = {326-342},
  booktitle = {FLOPS},
}

@article{SilvaV07,
  title = {Forward slicing of functional logic programs by partial evaluation},
  author = {Josep Silva and Germán Vidal},
  year = {2007},
  doi = {10.1017/S1471068406002870},
  url = {http://dx.doi.org/10.1017/S1471068406002870},
  tags = {functional programming, slicing, logic programming, partial evaluation, logic},
  researchr = {https://researchr.org/publication/SilvaV07},
  cites = {0},
  citedby = {0},
  journal = {tplp},
  volume = {7},
  number = {1-2},
  pages = {215-247},
}

@inproceedings{AlbertAFJV98,
  title = {Improving Control in Functional Logic Program Specialization},
  author = {Elvira Albert and María Alpuente and Moreno Falaschi and Pascual Julián Iranzo and Germán Vidal},
  year = {1998},
  url = {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 = {SAS},
}

@inproceedings{AlpuenteFV93,
  title = {Incremental Equational Constraint Analyses},
  author = {María Alpuente and Moreno Falaschi and Germán Vidal},
  year = {1993},
  tags = {constraints, incremental},
  researchr = {https://researchr.org/publication/AlpuenteFV93},
  cites = {0},
  citedby = {0},
  pages = {657},
  booktitle = {SLP},
}

@article{AlbertHHOV02,
  title = {An Operational Semantics for Declarative Multi-Paradigm Languages},
  author = {Elvira Albert and Michael Hanus and Frank Huch and Javier Oliver and Germán Vidal},
  year = {2002},
  url = {http://www.elsevier.com/gej-ng/31/29/23/125/47/show/Products/notes/index.htt#004},
  tags = {semantics, operational semantics},
  researchr = {https://researchr.org/publication/AlbertHHOV02},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {70},
  number = {6},
  pages = {62-83},
}

@inproceedings{RamosSV04,
  title = {An Embedded Language Approach to Router Specification in Curry},
  author = {J. Guadalupe Ramos and Josep Silva and Germán Vidal},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2932&spage=277},
  tags = {routing, systematic-approach},
  researchr = {https://researchr.org/publication/RamosSV04},
  cites = {0},
  citedby = {0},
  pages = {277-288},
  booktitle = {sofsem},
}

@article{AlpuenteFIV03,
  title = {Uniform Lazy Narrowing},
  author = {María Alpuente and Moreno Falaschi and Pascual Julián Iranzo and Germán Vidal},
  year = {2003},
  url = {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 = {logcom},
  volume = {13},
  number = {2},
  pages = {287-312},
}

@inproceedings{AlpuenteFMV99,
  title = {A Transformation System for Lazy Functional Logic Programs},
  author = {María Alpuente and Moreno Falaschi and Ginés Moreno and Germán Vidal},
  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 = {FLOPS},
}

@inproceedings{AlbertHV00,
  title = {Using an Abstract Representation to Specialize Functional Logic Programs},
  author = {Elvira Albert and Michael Hanus and Germán Vidal},
  year = {2000},
  url = {http://link.springer.de/link/service/series/0558/bibs/1955/19550381.htm},
  tags = {functional programming, logic programming, logic},
  researchr = {https://researchr.org/publication/AlbertHV00},
  cites = {0},
  citedby = {0},
  pages = {381-398},
  booktitle = {lpar},
}

@inproceedings{AlbertAHV99,
  title = {A Partial Evaluation Framework for Curry Programs},
  author = {Elvira Albert and María Alpuente and Michael Hanus and Germán Vidal},
  year = {1999},
  tags = {partial evaluation},
  researchr = {https://researchr.org/publication/AlbertAHV99},
  cites = {0},
  citedby = {0},
  pages = {376-395},
  booktitle = {lpar},
}

@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{AlpuenteFIV96,
  title = {Call-By Name Partial Evaluation of Functional Logic Programs},
  author = {María Alpuente and Moreno Falaschi and Pascual Julián Iranzo and Germán Vidal},
  year = {1996},
  tags = {functional programming, logic programming, partial evaluation, logic},
  researchr = {https://researchr.org/publication/AlpuenteFIV96},
  cites = {0},
  citedby = {0},
  pages = {17-28},
  booktitle = {agp},
}

@inproceedings{RamosSV05,
  title = {Fast narrowing-driven partial evaluation for inductively sequential programs},
  author = {J. Guadalupe Ramos and Josep Silva and Germán Vidal},
  year = {2005},
  doi = {10.1145/1086365.1086394},
  url = {http://doi.acm.org/10.1145/1086365.1086394},
  tags = {partial evaluation},
  researchr = {https://researchr.org/publication/RamosSV05},
  cites = {0},
  citedby = {0},
  pages = {228-239},
  booktitle = {ICFP},
}

@article{AlbertV01,
  title = {The Narrowing-driven Approach to Functional Logic Program Specialization},
  author = {Elvira Albert and Germán Vidal},
  year = {2001},
  tags = {functional programming, logic programming, logic, systematic-approach},
  researchr = {https://researchr.org/publication/AlbertV01},
  cites = {0},
  citedby = {0},
  journal = {ngc},
  volume = {20},
  number = {1},
  pages = {3-26},
}

@inproceedings{LeuschelV05,
  title = {Forward Slicing by Conjunctive Partial Deduction and Argument Filtering},
  author = {Michael Leuschel and Germán Vidal},
  year = {2005},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3444&spage=61},
  tags = {slicing},
  researchr = {https://researchr.org/publication/LeuschelV05},
  cites = {0},
  citedby = {0},
  pages = {61-76},
  booktitle = {ESOP},
}

@inproceedings{Almendros-JimenezV06,
  title = {Automatic Partial Inversion of Inductively Sequential Functions},
  author = {Jesús Manuel Almendros-Jiménez and Germán Vidal},
  year = {2006},
  doi = {10.1007/978-3-540-74130-5_15},
  url = {http://dx.doi.org/10.1007/978-3-540-74130-5_15},
  researchr = {https://researchr.org/publication/Almendros-JimenezV06},
  cites = {0},
  citedby = {0},
  pages = {253-270},
  booktitle = {IFL},
}

@article{ChedaSV07,
  title = {Static Slicing of Rewrite Systems},
  author = {Diego Cheda and Josep Silva and Germán Vidal},
  year = {2007},
  doi = {10.1016/j.entcs.2007.01.010},
  url = {http://dx.doi.org/10.1016/j.entcs.2007.01.010},
  tags = {graph-rewriting, slicing, rewriting},
  researchr = {https://researchr.org/publication/ChedaSV07},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {177},
  pages = {123-136},
}

@inproceedings{AlpuenteFV94,
  title = {Compositional Analysis for Equational Horn Programs},
  author = {María Alpuente and Moreno Falaschi and Germán Vidal},
  year = {1994},
  tags = {program analysis, composition, analysis},
  researchr = {https://researchr.org/publication/AlpuenteFV94},
  cites = {0},
  citedby = {0},
  pages = {77-94},
  booktitle = {icalp},
}

@inproceedings{RamosSV05:0,
  title = {An offline partial evaluator for curry programs},
  author = {J. Guadalupe Ramos and Josep Silva and Germán Vidal},
  year = {2005},
  doi = {10.1145/1085099.1085109},
  url = {http://doi.acm.org/10.1145/1085099.1085109},
  tags = {partial evaluation},
  researchr = {https://researchr.org/publication/RamosSV05%3A0},
  cites = {0},
  citedby = {0},
  pages = {49-53},
  booktitle = {wcflp},
}

@inproceedings{AlbertAV00:0,
  title = {A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation},
  author = {Elvira Albert and Sergio Antoy and Germán Vidal},
  year = {2000},
  tags = {partial evaluation, systematic-approach},
  researchr = {https://researchr.org/publication/AlbertAV00%3A0},
  cites = {0},
  citedby = {0},
  pages = {120-127},
  booktitle = {wflp},
}

@inproceedings{AlpuenteFMV00,
  title = {An Automatic Composition Algorithm for Functional Logic Programs},
  author = {María Alpuente and Moreno Falaschi and Ginés Moreno and Germán Vidal},
  year = {2000},
  url = {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},
}

@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},
}

@inproceedings{AlbertAV00,
  title = {Measuring the Effectiveness of Partial Evaluation},
  author = {Elvira Albert and Sergio Antoy and Germán Vidal},
  year = {2000},
  tags = {partial evaluation},
  researchr = {https://researchr.org/publication/AlbertAV00},
  cites = {0},
  citedby = {0},
  booktitle = {LOPSTR},
}

@inproceedings{OchoaSV05,
  title = {Lightweight program specialization via dynamic slicing},
  author = {Claudio Ochoa and Josep Silva and Germán Vidal},
  year = {2005},
  doi = {10.1145/1085099.1085101},
  url = {http://doi.acm.org/10.1145/1085099.1085101},
  tags = {slicing},
  researchr = {https://researchr.org/publication/OchoaSV05},
  cites = {0},
  citedby = {0},
  pages = {1-7},
  booktitle = {wcflp},
}

@inproceedings{Vidal08,
  title = {Termination of Narrowing in Left-Linear Constructor Systems},
  author = {Germán Vidal},
  year = {2008},
  doi = {10.1007/978-3-540-78969-7_10},
  url = {http://dx.doi.org/10.1007/978-3-540-78969-7_10},
  tags = {termination},
  researchr = {https://researchr.org/publication/Vidal08},
  cites = {0},
  citedby = {0},
  pages = {113-129},
  booktitle = {FLOPS},
}

@inproceedings{AlbertSV03,
  title = {Time Equations for Lazy Functional (Logic) Languages},
  author = {Elvira Albert and Josep Silva and Germán Vidal},
  year = {2003},
  tags = {laziness, logic},
  researchr = {https://researchr.org/publication/AlbertSV03},
  cites = {0},
  citedby = {0},
  pages = {13-24},
  booktitle = {agp},
}

@inproceedings{ArroyoOSV04,
  title = {Towards CNC Programming Using Haskell},
  author = {Gustavo Arroyo and Claudio Ochoa and Josep Silva and Germán Vidal},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3315&spage=386},
  tags = {Haskell, programming},
  researchr = {https://researchr.org/publication/ArroyoOSV04},
  cites = {0},
  citedby = {0},
  pages = {386-396},
  booktitle = {sbia},
}

@inproceedings{OchoaSV06,
  title = {A Slicing Tool for Lazy Functional Logic Programs},
  author = {Claudio Ochoa and Josep Silva and Germán Vidal},
  year = {2006},
  doi = {10.1007/11853886_46},
  url = {http://dx.doi.org/10.1007/11853886_46},
  tags = {laziness, functional programming, slicing, logic programming, logic},
  researchr = {https://researchr.org/publication/OchoaSV06},
  cites = {0},
  citedby = {0},
  pages = {498-501},
  booktitle = {jelia},
}

@article{AlpuenteFV98:0,
  title = {Partial Evaluation of Functional Logic Programs},
  author = {María Alpuente and Moreno Falaschi and Germán Vidal},
  year = {1998},
  doi = {10.1145/291891.291896},
  url = {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 = {TOPLAS},
  volume = {20},
  number = {4},
  pages = {768-844},
}

@article{AlbertHV03,
  title = {A residualizing semantics for the partial evaluation of functional logic programs},
  author = {Elvira Albert and Michael Hanus and Germán Vidal},
  year = {2003},
  doi = {10.1016/S0020-0190(02)00336-8},
  url = {http://dx.doi.org/10.1016/S0020-0190(02)00336-8},
  tags = {semantics, functional programming, logic programming, partial evaluation, logic},
  researchr = {https://researchr.org/publication/AlbertHV03},
  cites = {0},
  citedby = {0},
  journal = {ipl},
  volume = {85},
  number = {1},
  pages = {19-25},
}
@proceedings{sas:2008,
  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 = {María Alpuente and Germán Vidal},
  volume = {5079},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-69163-1},
}

@proceedings{pepm:2009,
  title = {Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2009, Savannah, GA, USA, January 19-20, 2009},
  year = {2009},
  tags = {semantics, partial evaluation},
  researchr = {https://researchr.org/publication/pepm%3A2009},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2009, Savannah, GA, USA, January 19-20, 2009},
  conference = {PEPM},
  editor = {Germán Puebla and Germán Vidal},
  publisher = {ACM},
  isbn = {978-1-60558-327-3},
}