@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 = {Journal of Symbolic Computation},
  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 = {1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE 98, A Coruña, Spain, July 20-23, 1998},
  editor = {José Luis Freire-Nistal and Moreno Falaschi and Manuel Vilares Ferro},
}

@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 = {9th International Workshop on Functional and Logic Programming, WFLP 2000, Benicassim, Spain, September 28-30, 2000},
  editor = {María Alpuente},
}

@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 = {Logic-Based Program Synthesis and Transformation, 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers},
  editor = {Andy King},
  volume = {4915},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-78768-6},
}

@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 = {Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004, Verona, Italy, August 24-25, 2004},
  editor = {Nevin Heintze and Peter Sestoft},
  publisher = {ACM},
  isbn = {1-58113-835-0},
}

@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 = {Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 24-26 August 2004, Verona, Italy},
  editor = {Eugenio Moggi and David Scott Warren},
  publisher = {ACM},
  isbn = {1-58113-819-9},
}

@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 = {Journal of Functional and Logic Programming},
  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 = {Higher-Order and Symbolic Computation},
  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 Computing Surveys},
  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 = {Proceedings of the IEEE Computer Society 1994 International Conference on Computer Languages, May 16-19, 1994, Toulouse, France},
  editor = {Henri E. Bal},
  publisher = {IEEE Computer Society},
}

@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 = {Algebraic and Logic Programming, 6th International Joint Conference, ALP  97 - HOA  97, Southampton, U.K., Spetember 3-5, 1997, Proceedings},
  editor = {Michael Hanus and Jan Heering and Karl Meinke},
  volume = {1298},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-63459-2},
}

@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 = {8th Italian Conference on Logic Programming, GULP 93, Gizzeria, Italy, June 15-18, 1993},
  editor = {Domenico Saccà},
}

@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 = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE 97, Grado, Italy, June 16-19, 1997},
  editor = {Moreno Falaschi and Marisa Navarro and Alberto Policriti},
}

@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 = {Logic Based Program Synthesis and Transformation, 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001, Selected Papers},
  editor = {Alberto Pettorossi},
  volume = {2372},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-43915-3},
}

@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 = {Logic-Based Program Synthesis and Transformation, 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers},
  editor = {Germán Puebla},
  volume = {4407},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-71409-5},
}

@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 = {Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1-3, 2007},
  editor = {Ralf Hinze and Norman Ramsey},
  publisher = {ACM},
  isbn = {978-1-59593-815-2},
}

@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 = {Electronic Notes in Theoretical Computer Science},
  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 = {Programming Language Implementation and Logic Programming, 5th International Symposium, PLILP 93, Tallinn, Estonia, August 25-27, 1993, Proceedings},
  editor = {Maurice Bruynooghe and Jaan Penjam},
  volume = {714},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-57186-8},
}

@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 = {Logic Based Program Synthesis and Transformation, 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000, Selected Papers},
  editor = {Kung-Kiu Lau},
  volume = {2042},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-42127-0},
}

@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 = {1994 Joint Conference on Declarative Programming, GULP-PRODE 94 Peñiscola, Spain, September 19-22, 1994, Volume 1},
  editor = {María Alpuente and Roberto Barbuti and Isidro Ramos},
}

@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 = {Logic-Based Program Synthesis and Transformation, 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers},
  editor = {Michael Hanus},
  volume = {5438},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-00514-5},
}

@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 = {Electronic Notes in Theoretical Computer Science},
  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 = {Logic Based Program Synthesis and Transformation, 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers},
  editor = {Sandro Etalle},
  volume = {3573},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-26655-0},
}

@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 = {Theoretical Computer Science, 3rd GI-Conference, Darmstadt, Germany, March 28-30, 1977, Proceedings},
  editor = {H. Tzschach and H. Waldschmidt and Hermann K.-G. Walter},
  volume = {48},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-08138-0},
}

@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 = {Advances in Computing Science - ASIAN 2000, 6th Asian Computing Science Conference,  Penang, Malaysia, November 25-27, 2000, Proceedings},
  editor = {Jifeng He and Masahiko Sato},
  volume = {1961},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-41428-2},
}

@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 = {Programming Languages and Systems - ESOP 96, 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996, Proceedings},
  editor = {Hanne Riis Nielson},
  volume = {1058},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-61055-3},
}

@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 = {9th International Workshop on Functional and Logic Programming, WFLP 2000, Benicassim, Spain, September 28-30, 2000},
  editor = {María Alpuente},
}

@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 = {Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial},
  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 = {Inf. Process. Lett.},
  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 = {9th International Workshop on Functional and Logic Programming, WFLP 2000, Benicassim, Spain, September 28-30, 2000},
  editor = {María Alpuente},
}

@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 = {Functional and Logic Programming, 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001, Proceedings},
  editor = {Herbert Kuchen and Kazunori Ueda},
  volume = {2024},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-41739-7},
}

@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 = {Static Analysis, 5th International Symposium, SAS  98, Pisa, Italy, September 14-16, 1998, Proceedings},
  editor = {Giorgio Levi},
  volume = {1503},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-65014-8},
}

@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 = {ILPS},
}

@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 = {Electronic Notes in Theoretical Computer Science},
  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 2004: Theory and Practice of Computer Science, 30th Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 24-30, 2004},
  editor = {Peter van Emde Boas and Jaroslav Pokorný and Mária Bieliková and Julius Stuller},
  volume = {2932},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-20779-1},
}

@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 = {Journal of Logic and Computation},
  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 = {Functional and Logic Programming, 4th Fuji International Symposium, FLOPS 99, Tsukuba, Japan, November 11-13, 1999, Proceedings},
  editor = {Aart Middeldorp and Taisuke Sato},
  volume = {1722},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66677-X},
}

@inproceedings{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 = {Logic for Programming and Automated Reasoning, 7th International Conference, LPAR 2000, Reunion Island, France, November 11-12, 2000, Proceedings},
  editor = {Michel Parigot and Andrei Voronkov},
  volume = {1955},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
}

@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 = {Logic Programming and Automated Reasoning, 6th International Conference, LPAR 99, Tbilisi, Georgia, September 6-10, 1999, Proceedings},
  editor = {Harald Ganzinger and David A. McAllester and Andrei Voronkov},
  volume = {1705},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66492-0},
}

@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 = {1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE 96, Donostia-San Sebastian, Spain, July 15-18, 1996},
  editor = {Paqui Lucio and Maurizio Martelli and Marisa Navarro},
}

@inproceedings{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 = {Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia, September 26-28, 2005},
  editor = {Olivier Danvy and Benjamin C. Pierce},
  publisher = {ACM},
  isbn = {1-59593-064-7},
}

@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 = {New Generation Comput.},
  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 = {Programming Languages and Systems, 14th European Symposium on Programming,ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings},
  editor = {Shmuel Sagiv},
  volume = {3444},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-25435-8},
}

@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 = {Implementation and Application of Functional Languages, 18th International Symp osium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers},
  editor = {Zoltán Horváth and Viktória Zsók and Andrew Butterfield},
  volume = {4449},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-74129-9},
}

@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 = {Electronic Notes in Theoretical Computer Science},
  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 = {Algebraic and Logic Programming, 4th International Conference, ALP 94, Madid, Spain, September 14-16, 1994, Proceedings},
  editor = {Giorgio Levi and Mario Rodríguez-Artalejo},
  volume = {850},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-58431-5},
}

@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 = {Proceedings of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming, Tallinn, Estonia, September 29, 2005},
  editor = {Sergio Antoy and Michael Hanus},
  publisher = {ACM},
  isbn = {1-59593-069-8},
}

@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 = {9th International Workshop on Functional and Logic Programming, WFLP 2000, Benicassim, Spain, September 28-30, 2000},
  editor = {María Alpuente},
}

@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 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 = {Václav Hlavác and Keith G. Jeffery and Jirí Wiedermann},
  volume = {1963},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-41348-0},
}

@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 = {Logic Based Program Synthesis and Transformation, 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000, Selected Papers},
  editor = {Kung-Kiu Lau},
  volume = {2042},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-42127-0},
}

@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 = {Proceedings of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming, Tallinn, Estonia, September 29, 2005},
  editor = {Sergio Antoy and Michael Hanus},
  publisher = {ACM},
  isbn = {1-59593-069-8},
}

@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 = {Functional and Logic Programming, 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings},
  editor = {Jacques Garrigue and Manuel V. Hermenegildo},
  volume = {4989},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-78968-0},
}

@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 = {2003 Joint Conference on Declarative Programming, AGP-2003, Reggio Calabria, Italy, September 3-5, 2003},
  editor = {Francesco Buccafurri},
}

@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 = {Advances in Artificial Intelligence - IBERAMIA 2004, 9th Ibero-American Conference on AI, Puebla, México, November 22-26, 2004, Proceedings},
  editor = {Christian Lemaître and Carlos A. Reyes and Jesus A. González},
  volume = {3315},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-23806-9},
}

@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 = {Logics in Artificial Intelligence, 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings},
  editor = {Michael Fisher and Wiebe van der Hoek and Boris Konev and Alexei Lisitsa},
  volume = {4160},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-39625-X},
}

@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 = {ACM Transactions on Programming Languages and Systems},
  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 = {Inf. Process. Lett.},
  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},
}