publications:
- title: "Materialización de Vistas Multi-Origen: Vistas Multinivel"
  author:
  - name: "Josep Silva"
    link: "http://www.dsic.upv.es/~jsilva"
  - name: "Jorge Belenguer"
    link: "https://researchr.org/alias/jorge-belenguer"
  - name: "Matilde Celma"
    link: "https://researchr.org/alias/matilde-celma"
  year: "2002"
  researchr: "https://researchr.org/publication/SilvaBC02"
  cites: 0
  citedby: 0
  pages: "25-34"
  booktitle: "VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002), 19-21 Noviembre 2002, El Escorial (Madrid)"
  editor:
  - name: "Matilde Celma"
    link: "https://researchr.org/alias/matilde-celma"
  - name: "Oscar Pastor"
    link: "https://researchr.org/alias/oscar-pastor"
  - name: "Natalia Juristo Juzgado"
    link: "https://researchr.org/alias/natalia-juristo-juzgado"
  - name: "Juan José Moreno-Navarro"
    link: "https://researchr.org/alias/juan-jos%C3%A9-moreno-navarro"
  isbn: "84-688-0206-9"
  kind: "inproceedings"
  key: "SilvaBC02"
- title: "Translating CSP Specifications to Equivalent Petri Nets"
  author:
  - name: "Marisa Llorens"
    link: "https://researchr.org/alias/marisa-llorens"
  - name: "Javier Oliver"
    link: "https://researchr.org/alias/javier-oliver"
  - name: "Josep Silva"
    link: "http://www.dsic.upv.es/~jsilva"
  - name: "Salvador Tamarit"
    link: "https://researchr.org/alias/salvador-tamarit"
  year: "2010"
  links:
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/pdpta/LlorensOST10"
  tags:
  - "translation"
  researchr: "https://researchr.org/publication/LlorensOST10-1"
  cites: 0
  citedby: 0
  pages: "320-326"
  booktitle: "Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 2010, Las Vegas, Nevada, USA, July 12-15, 2010, 2 Volumes"
  editor:
  - name: "Hamid R. Arabnia"
    link: "https://researchr.org/alias/hamid-r.-arabnia"
  - name: "Steve C. Chiu"
    link: "https://researchr.org/alias/steve-c.-chiu"
  - name: "George A. Gravvanis"
    link: "https://researchr.org/alias/george-a.-gravvanis"
  - name: "Minoru Ito"
    link: "https://researchr.org/alias/minoru-ito"
  - name: "Kazuki Joe"
    link: "https://researchr.org/alias/kazuki-joe"
  - name: "Hiroaki Nishikawa"
    link: "https://researchr.org/alias/hiroaki-nishikawa"
  - name: "Ashu M. G. Solo"
    link: "https://researchr.org/alias/ashu-m.-g.-solo"
  publisher: "CSREA Press"
  isbn: "1-60132-158-9"
  kind: "inproceedings"
  key: "LlorensOST10-1"
- title: "Ensuring the quasi-termination of needed narrowing computations"
  author:
  - name: "J. Guadalupe Ramos"
    link: "https://researchr.org/alias/j.-guadalupe-ramos"
  - name: "Josep Silva"
    link: "http://www.dsic.upv.es/~jsilva"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.ipl.2006.09.010"
  links:
    doi: "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"
  kind: "article"
  key: "RamosSV07"
- title: "Slicing XML Documents"
  author:
  - name: "Josep Silva"
    link: "http://www.dsic.upv.es/~jsilva"
  year: "2005"
  tags:
  - "XML"
  - "XML Schema"
  - "slicing"
  researchr: "https://researchr.org/publication/Silva05%3A1"
  cites: 0
  citedby: 0
  pages: "121-125"
  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: "Silva05:1"
- title: "An algorithmic debugger for Java"
  author:
  - name: "David Insa"
    link: "https://researchr.org/alias/david-insa"
  - name: "Josep Silva"
    link: "http://www.dsic.upv.es/~jsilva"
  year: "2010"
  doi: "http://dx.doi.org/10.1109/ICSM.2010.5609661"
  links:
    doi: "http://dx.doi.org/10.1109/ICSM.2010.5609661"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icsm/InsaS10"
  tags:
  - "Java"
  - "debugging"
  researchr: "https://researchr.org/publication/InsaS10-0"
  cites: 0
  citedby: 0
  pages: "1-6"
  booktitle: "26th IEEE International Conference on Software Maintenance (ICSM 2010), September 12-18, 2010, Timisoara, Romania"
  publisher: "IEEE Computer Society"
  isbn: "978-1-4244-8630-4"
  kind: "inproceedings"
  key: "InsaS10-0"
- title: "A Program Slicing Based Method to Filter XML/DTD Documents"
  author:
  - name: "Josep Silva"
    link: "http://www.dsic.upv.es/~jsilva"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-69507-3_67"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-69507-3_67"
  tags:
  - "rule-based"
  - "XML"
  - "XML Schema"
  - "slicing"
  researchr: "https://researchr.org/publication/Silva07%3A2"
  cites: 0
  citedby: 0
  pages: "771-782"
  booktitle: "SOFSEM 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings"
  editor:
  - name: "Jan van Leeuwen"
    link: "http://www.cs.uu.nl/staff/jan.html"
  - name: "Giuseppe F. Italiano"
    link: "https://researchr.org/alias/giuseppe-f.-italiano"
  - name: "Wiebe van der Hoek"
    link: "http://www.csc.liv.ac.uk/~wiebe/"
  - name: "Christoph Meinel"
    link: "https://researchr.org/alias/christoph-meinel"
  - name: "Harald Sack"
    link: "https://researchr.org/alias/harald-sack"
  - name: "Frantisek Plasil"
    link: "https://researchr.org/alias/frantisek-plasil"
  volume: "4362"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-69506-6"
  kind: "inproceedings"
  key: "Silva07:2"
- title: "Debugging techniques for declarative languages: Profiling, program slicing and algorithmic debugging"
  author:
  - name: "Josep Silva"
    link: "http://www.dsic.upv.es/~jsilva"
  year: "2008"
  doi: "http://iospress.metapress.com/content/88501q5713431447/"
  links:
    doi: "http://iospress.metapress.com/content/88501q5713431447/"
  tags:
  - "programming languages"
  - "slicing"
  - "debugging"
  researchr: "https://researchr.org/publication/Silva08%3A1"
  cites: 0
  citedby: 0
  journal: "AI Commun."
  volume: "21"
  number: "1"
  pages: "91-92"
  kind: "article"
  key: "Silva08:1"
- title: "Fast narrowing-driven partial evaluation for inductively sequential programs"
  author:
  - name: "J. Guadalupe Ramos"
    link: "https://researchr.org/alias/j.-guadalupe-ramos"
  - name: "Josep Silva"
    link: "http://www.dsic.upv.es/~jsilva"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1086365.1086394"
  links:
    doi: "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:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Benjamin C. Pierce"
    link: "http://www.cis.upenn.edu/~bcpierce/"
  publisher: "ACM"
  isbn: "1-59593-064-7"
  kind: "inproceedings"
  key: "RamosSV05"
- title: "El aspecto de distribución de PRISMA"
  author:
  - name: "Josep Silva"
    link: "http://www.dsic.upv.es/~jsilva"
  - name: "Nour Hussein"
    link: "https://researchr.org/alias/nour-hussein"
  - name: "José A. Carsí"
    link: "https://researchr.org/alias/jos%C3%A9-a.-cars%C3%AD"
  - name: "Isidro Ramos"
    link: "https://researchr.org/alias/isidro-ramos"
  year: "2003"
  researchr: "https://researchr.org/publication/SilvaHCR03"
  cites: 0
  citedby: 0
  pages: "127-136"
  booktitle: "VIII Jornadas Ingeniería del Software y Bases de Datos (JISBD 2003), 12-14 Noviembre 2003, Alicante"
  editor:
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  - name: "Nieves R. Brisaboa"
    link: "https://researchr.org/alias/nieves-r.-brisaboa"
  - name: "Jaime Gómez"
    link: "https://researchr.org/alias/jaime-g%C3%B3mez"
  isbn: "84-688-3836-5"
  kind: "inproceedings"
  key: "SilvaHCR03"
- title: "Static Slicing of Rewrite Systems"
  author:
  - name: "Diego Cheda"
    link: "https://researchr.org/alias/diego-cheda"
  - name: "Josep Silva"
    link: "http://www.dsic.upv.es/~jsilva"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.entcs.2007.01.010"
  links:
    doi: "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"
  kind: "article"
  key: "ChedaSV07"
- title: "A New Information Filtering Method for WebPages"
  author:
  - name: "Sergio Lopez"
    link: "https://researchr.org/alias/sergio-lopez"
  - name: "Josep Silva"
    link: "http://www.dsic.upv.es/~jsilva"
  year: "2010"
  doi: "http://doi.ieeecomputersociety.org/10.1109/DEXA.2010.28"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/DEXA.2010.28"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/dexaw/LopezS10"
  researchr: "https://researchr.org/publication/LopezS10"
  cites: 0
  citedby: 0
  pages: "32-36"
  booktitle: "Database and Expert Systems Applications, DEXA, International Workshops, Bilbao, Spain, August 30 - September 3, 2010"
  editor:
  - name: "A Min Tjoa"
    link: "https://researchr.org/alias/a-min-tjoa"
  - name: "Roland Wagner"
    link: "https://researchr.org/alias/roland-wagner"
  publisher: "IEEE Computer Society"
  isbn: "978-0-7695-4174-7"
  kind: "inproceedings"
  key: "LopezS10"
- title: "Combining algorithmic debugging and program slicing"
  author:
  - name: "Josep Silva"
    link: "http://www.dsic.upv.es/~jsilva"
  - name: "Olaf Chitil"
    link: "https://researchr.org/alias/olaf-chitil"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1140335.1140355"
  links:
    doi: "http://doi.acm.org/10.1145/1140335.1140355"
  tags:
  - "slicing"
  - "debugging"
  researchr: "https://researchr.org/publication/SilvaC06%3A2"
  cites: 0
  citedby: 0
  pages: "157-166"
  booktitle: "Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 10-12, 2006, Venice, Italy"
  editor:
  - name: "Annalisa Bossi"
    link: "https://researchr.org/alias/annalisa-bossi"
  - name: "Michael J. Maher"
    link: "https://researchr.org/alias/michael-j.-maher"
  publisher: "ACM"
  isbn: "1-59593-388-3"
  kind: "inproceedings"
  key: "SilvaC06:2"
- title: "Run-Time Profiling of Functional Logic Programs"
  author:
  - name: "Bernd Brassel"
    link: "https://researchr.org/alias/bernd-brassel"
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  - name: "Frank Huch"
    link: "https://researchr.org/alias/frank-huch"
  - name: "Josep Silva"
    link: "http://www.dsic.upv.es/~jsilva"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2004"
  doi: "http://dx.doi.org/10.1007/11506676_12"
  links:
    doi: "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:
  - name: "Sandro Etalle"
    link: "http://www.win.tue.nl/~setalle/"
  volume: "3573"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-26655-0"
  kind: "inproceedings"
  key: "BrasselHHSV04"
- title: "Slicing XML Documents"
  author:
  - name: "Josep Silva"
    link: "http://www.dsic.upv.es/~jsilva"
  year: "2006"
  doi: "http://dx.doi.org/10.1016/j.entcs.2005.12.054"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2005.12.054"
  tags:
  - "XML"
  - "XML Schema"
  - "slicing"
  researchr: "https://researchr.org/publication/Silva06%3A0"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "157"
  number: "2"
  pages: "187-192"
  kind: "article"
  key: "Silva06:0"
- title: "An algorithm to generate the context-sensitive synchronized control flow graph"
  author:
  - name: "Marisa Llorens"
    link: "https://researchr.org/alias/marisa-llorens"
  - name: "Javier Oliver"
    link: "https://researchr.org/alias/javier-oliver"
  - name: "Josep Silva"
    link: "http://www.dsic.upv.es/~jsilva"
  - name: "Salvador Tamarit"
    link: "https://researchr.org/alias/salvador-tamarit"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1774088.1774539"
  links:
    doi: "http://doi.acm.org/10.1145/1774088.1774539"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sac/LlorensOST10"
  tags:
  - "synchronization"
  - "data-flow"
  - "graph-rewriting"
  - "context-aware"
  - "rewriting"
  researchr: "https://researchr.org/publication/LlorensOST10"
  cites: 0
  citedby: 0
  pages: "2144-2148"
  booktitle: "Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010"
  editor:
  - name: "Sung Y. Shin"
    link: "https://researchr.org/alias/sung-y.-shin"
  - name: "Sascha Ossowski"
    link: "https://researchr.org/alias/sascha-ossowski"
  - name: "Michael Schumacher"
    link: "https://researchr.org/alias/michael-schumacher"
  - name: "Mathew J. Palakal"
    link: "https://researchr.org/alias/mathew-j.-palakal"
  - name: "Chih-Cheng Hung"
    link: "https://researchr.org/alias/chih-cheng-hung"
  publisher: "ACM"
  isbn: "978-1-60558-639-7"
  kind: "inproceedings"
  key: "LlorensOST10"
- title: "An Algorithm to Compare OO-Conceptual Schemas"
  author:
  - name: "Josep Silva"
    link: "http://www.dsic.upv.es/~jsilva"
  - name: "Isidro Ramos"
    link: "https://researchr.org/alias/isidro-ramos"
  - name: "José A. Carsí"
    link: "https://researchr.org/alias/jos%C3%A9-a.-cars%C3%AD"
  year: "2002"
  doi: "http://computer.org/proceedings/icsm/1819/18190351abs.htm"
  links:
    doi: "http://computer.org/proceedings/icsm/1819/18190351abs.htm"
  tags:
  - "XML"
  - "XML Schema"
  researchr: "https://researchr.org/publication/SilvaRC02"
  cites: 0
  citedby: 0
  pages: "351-358"
  booktitle: "18th International Conference on Software Maintenance (ICSM 2002), Maintaining Distributed Heterogeneous Systems, 3-6 October 2002, Montreal, Quebec, Canada"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-1819-2"
  kind: "inproceedings"
  key: "SilvaRC02"
- title: "Preserving Sharing in the Partial Evaluation of Lazy Functional Programs"
  author:
  - name: "Sebastian Fischer"
    link: "https://researchr.org/alias/sebastian-fischer"
  - name: "Josep Silva"
    link: "http://www.dsic.upv.es/~jsilva"
  - name: "Salvador Tamarit"
    link: "https://researchr.org/alias/salvador-tamarit"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-78769-3_6"
  links:
    doi: "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:
  - name: "Andy King"
    link: "https://researchr.org/alias/andy-king"
  volume: "4915"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-78768-6"
  kind: "inproceedings"
  key: "FischerSTV07"
- title: "A Technique for Information Retrieval from Microformatted Websites"
  author:
  - name: "J. Guadalupe Ramos"
    link: "https://researchr.org/alias/j.-guadalupe-ramos"
  - name: "Josep Silva"
    link: "http://www.dsic.upv.es/~jsilva"
  - name: "Gustavo Arroyo"
    link: "https://researchr.org/alias/gustavo-arroyo"
  - name: "Juan C. Solorio"
    link: "https://researchr.org/alias/juan-c.-solorio"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-11486-1_29"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-11486-1_29"
  tags:
  - "information retrieval"
  - "C++"
  researchr: "https://researchr.org/publication/RamosSAS09"
  cites: 0
  citedby: 0
  pages: "344-351"
  booktitle: "Perspectives of Systems Informatics, 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers"
  editor:
  - name: "Amir Pnueli"
    link: "https://researchr.org/alias/amir-pnueli"
  - name: "Irina Virbitskaite"
    link: "https://researchr.org/alias/irina-virbitskaite"
  - name: "Andrei Voronkov"
    link: "https://researchr.org/alias/andrei-voronkov"
  volume: "5947"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-11485-4"
  kind: "inproceedings"
  key: "RamosSAS09"
- title: "Towards CNC Programming Using Haskell"
  author:
  - name: "Gustavo Arroyo"
    link: "https://researchr.org/alias/gustavo-arroyo"
  - name: "Claudio Ochoa"
    link: "https://researchr.org/alias/claudio-ochoa"
  - name: "Josep Silva"
    link: "http://www.dsic.upv.es/~jsilva"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3315&spage=386"
  links:
    doi: "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:
  - name: "Christian Lemaître"
    link: "https://researchr.org/alias/christian-lema%C3%AEtre"
  - name: "Carlos A. Reyes"
    link: "https://researchr.org/alias/carlos-a.-reyes"
  - name: "Jesus A. González"
    link: "https://researchr.org/alias/jesus-a.-gonz%C3%A1lez"
  volume: "3315"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-23806-9"
  kind: "inproceedings"
  key: "ArroyoOSV04"
- title: "Forward slicing of functional logic programs by partial evaluation"
  author:
  - name: "Josep Silva"
    link: "http://www.dsic.upv.es/~jsilva"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2007"
  doi: "http://dx.doi.org/10.1017/S1471068406002870"
  links:
    doi: "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"
  kind: "article"
  key: "SilvaV07"
- title: "Dynamic slicing of lazy functional programs based on redex trails"
  author:
  - name: "Claudio Ochoa"
    link: "https://researchr.org/alias/claudio-ochoa"
  - name: "Josep Silva"
    link: "http://www.dsic.upv.es/~jsilva"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/s10990-008-9023-7"
  links:
    doi: "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"
  kind: "article"
  key: "OchoaSV08"
- title: "State of the Practice in Algorithmic Debugging"
  author:
  - name: "Diego Cheda"
    link: "https://researchr.org/alias/diego-cheda"
  - name: "Josep Silva"
    link: "http://www.dsic.upv.es/~jsilva"
  year: "2009"
  doi: "http://dx.doi.org/10.1016/j.entcs.2009.07.015"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2009.07.015"
  tags:
  - "debugging"
  researchr: "https://researchr.org/publication/ChedaS09"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "246"
  pages: "55-70"
  kind: "article"
  key: "ChedaS09"
- title: "Time Equations for Lazy Functional (Logic) Languages"
  author:
  - name: "Elvira Albert"
    link: "https://researchr.org/alias/elvira-albert"
  - name: "Josep Silva"
    link: "http://www.dsic.upv.es/~jsilva"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  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:
  - name: "Francesco Buccafurri"
    link: "https://researchr.org/alias/francesco-buccafurri"
  kind: "inproceedings"
  key: "AlbertSV03"
- title: "A survey on algorithmic debugging strategies"
  author:
  - name: "Josep Silva"
    link: "http://www.dsic.upv.es/~jsilva"
  year: "2011"
  doi: "http://dx.doi.org/10.1016/j.advengsoft.2011.05.024"
  links:
    doi: "http://dx.doi.org/10.1016/j.advengsoft.2011.05.024"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/aes/Silva11"
  tags:
  - "survey"
  - "debugging"
  researchr: "https://researchr.org/publication/Silva11"
  cites: 0
  citedby: 0
  journal: "Advances in Engineering Software"
  volume: "42"
  number: "11"
  pages: "976-991"
  kind: "article"
  key: "Silva11"
- title: "Information Filtering and Information Retrieval with the Web Filtering Toolbar"
  author:
  - name: "Josep Silva"
    link: "http://www.dsic.upv.es/~jsilva"
  year: "2009"
  doi: "http://dx.doi.org/10.1016/j.entcs.2009.03.008"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2009.03.008"
  tags:
  - "information retrieval"
  researchr: "https://researchr.org/publication/Silva09"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "235"
  pages: "125-136"
  kind: "article"
  key: "Silva09"
- title: "Scaling Up Algorithmic Debugging with Virtual Execution Trees"
  author:
  - name: "David Insa"
    link: "https://researchr.org/alias/david-insa"
  - name: "Josep Silva"
    link: "http://www.dsic.upv.es/~jsilva"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-20551-4_10"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-20551-4_10"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/lopstr/InsaS10"
  tags:
  - "debugging"
  researchr: "https://researchr.org/publication/InsaS10"
  cites: 0
  citedby: 0
  pages: "149-163"
  booktitle: "Logic-Based Program Synthesis and Transformation - 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers"
  editor:
  - name: "María Alpuente"
    link: "https://researchr.org/alias/mar%26iacute%3Ba-alpuente"
  volume: "6564"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-20550-7"
  kind: "inproceedings"
  key: "InsaS10"
- title: "Modeling Implicit Knowledge from Microformatted Websites"
  author:
  - name: "J. Guadalupe Ramos"
    link: "https://researchr.org/alias/j.-guadalupe-ramos"
  - name: "Josep Silva"
    link: "http://www.dsic.upv.es/~jsilva"
  year: "2010"
  links:
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/swws/RamosS10"
  tags:
  - "modeling"
  researchr: "https://researchr.org/publication/RamosS10"
  cites: 0
  citedby: 0
  pages: "141-146"
  booktitle: "Proceedings of the 2010 International Conference on Semantic Web & Web Services, SWWS 2010, July 12-15, 2010, Las Vegas, Nevada, USA"
  editor:
  - name: "Hamid R. Arabnia"
    link: "https://researchr.org/alias/hamid-r.-arabnia"
  - name: "Andy Marsh"
    link: "https://researchr.org/alias/andy-marsh"
  - name: "Ashu M. G. Solo"
    link: "https://researchr.org/alias/ashu-m.-g.-solo"
  publisher: "CSREA Press"
  isbn: "1-60132-161-9"
  kind: "inproceedings"
  key: "RamosS10"
- title: "Dynamic slicing based on redex trails"
  author:
  - name: "Claudio Ochoa"
    link: "https://researchr.org/alias/claudio-ochoa"
  - name: "Josep Silva"
    link: "http://www.dsic.upv.es/~jsilva"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2004"
  doi: "http://doi.acm.org/10.1145/1014007.1014020"
  links:
    doi: "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:
  - name: "Nevin Heintze"
    link: "https://researchr.org/alias/nevin-heintze"
  - name: "Peter Sestoft"
    link: "https://researchr.org/alias/peter-sestoft"
  publisher: "ACM"
  isbn: "1-58113-835-0"
  kind: "inproceedings"
  key: "OchoaSV04"
- title: "A Slicing Tool for Lazy Functional Logic Programs"
  author:
  - name: "Claudio Ochoa"
    link: "https://researchr.org/alias/claudio-ochoa"
  - name: "Josep Silva"
    link: "http://www.dsic.upv.es/~jsilva"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11853886_46"
  links:
    doi: "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:
  - name: "Michael Fisher"
    link: "https://researchr.org/alias/michael-fisher"
  - name: "Wiebe van der Hoek"
    link: "http://www.csc.liv.ac.uk/~wiebe/"
  - name: "Boris Konev"
    link: "https://researchr.org/alias/boris-konev"
  - name: "Alexei Lisitsa"
    link: "https://researchr.org/alias/alexei-lisitsa"
  volume: "4160"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-39625-X"
  kind: "inproceedings"
  key: "OchoaSV06"
- title: "Lightweight program specialization via dynamic slicing"
  author:
  - name: "Claudio Ochoa"
    link: "https://researchr.org/alias/claudio-ochoa"
  - name: "Josep Silva"
    link: "http://www.dsic.upv.es/~jsilva"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1085099.1085101"
  links:
    doi: "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:
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  publisher: "ACM"
  isbn: "1-59593-069-8"
  kind: "inproceedings"
  key: "OchoaSV05"
- title: "The MEB and CEB Static Analysis for CSP Specifications"
  author:
  - name: "Michael Leuschel"
    link: "http://www.stups.uni-duesseldorf.de/~leuschel"
  - name: "Marisa Llorens"
    link: "https://researchr.org/alias/marisa-llorens"
  - name: "Javier Oliver"
    link: "https://researchr.org/alias/javier-oliver"
  - name: "Josep Silva"
    link: "http://www.dsic.upv.es/~jsilva"
  - name: "Salvador Tamarit"
    link: "https://researchr.org/alias/salvador-tamarit"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-642-00515-2_8"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-00515-2_8"
  tags:
  - "analysis"
  - "static analysis"
  researchr: "https://researchr.org/publication/LeuschelLOST08"
  cites: 0
  citedby: 0
  pages: "103-118"
  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: "LeuschelLOST08"
- title: "SOC: a slicer for CSP specifications"
  author:
  - name: "Michael Leuschel"
    link: "http://www.stups.uni-duesseldorf.de/~leuschel"
  - name: "Marisa Llorens"
    link: "https://researchr.org/alias/marisa-llorens"
  - name: "Javier Oliver"
    link: "https://researchr.org/alias/javier-oliver"
  - name: "Josep Silva"
    link: "http://www.dsic.upv.es/~jsilva"
  - name: "Salvador Tamarit"
    link: "https://researchr.org/alias/salvador-tamarit"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1480945.1480969"
  links:
    doi: "http://doi.acm.org/10.1145/1480945.1480969"
  tags:
  - "slicing"
  researchr: "https://researchr.org/publication/LeuschelLOST09"
  cites: 0
  citedby: 0
  pages: "165-168"
  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"
  editor:
  - name: "Germán Puebla"
    link: "https://researchr.org/alias/germ%C3%A1n-puebla"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  publisher: "ACM"
  isbn: "978-1-60558-327-3"
  kind: "inproceedings"
  key: "LeuschelLOST09"
- title: "Multi-source Materialized Views Maintenance: Multi-level Views"
  author:
  - name: "Josep Silva"
    link: "http://www.dsic.upv.es/~jsilva"
  - name: "Jorge Belenguer"
    link: "https://researchr.org/alias/jorge-belenguer"
  - name: "Matilde Celma"
    link: "https://researchr.org/alias/matilde-celma"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11827252_8"
  links:
    doi: "http://dx.doi.org/10.1007/11827252_8"
  tags:
  - "source-to-source"
  - "maintenance"
  - "open-source"
  researchr: "https://researchr.org/publication/SilvaBC06%3A1"
  cites: 0
  citedby: 0
  pages: "71-80"
  booktitle: "Advances in Databases and Information Systems, 10th East European Conference, ADBIS 2006, Thessaloniki, Greece, September 3-7, 2006, Proceedings"
  editor:
  - name: "Yannis Manolopoulos"
    link: "https://researchr.org/alias/yannis-manolopoulos"
  - name: "Jaroslav Pokorný"
    link: "https://researchr.org/alias/jaroslav-pokorn%C3%BD"
  - name: "Timos K. Sellis"
    link: "https://researchr.org/alias/timos-k.-sellis"
  volume: "4152"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-37899-5"
  kind: "inproceedings"
  key: "SilvaBC06:1"
- title: "Domain Specific Languages for Software Requirements Capture"
  author:
  - name: "J. Guadalupe Ramos"
    link: "https://researchr.org/alias/j.-guadalupe-ramos"
  - name: "Josep Silva"
    link: "http://www.dsic.upv.es/~jsilva"
  - name: "Heriberto Flores"
    link: "https://researchr.org/alias/heriberto-flores"
  - name: "Margarita Torres"
    link: "https://researchr.org/alias/margarita-torres"
  - name: "Laura E. Mendoza"
    link: "https://researchr.org/alias/laura-e.-mendoza"
  - name: "Juan C. Solorio"
    link: "https://researchr.org/alias/juan-c.-solorio"
  year: "2010"
  links:
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/serp/RamosSFTMS10"
  tags:
  - "C++"
  - "domain-specific language"
  researchr: "https://researchr.org/publication/RamosSFTMS10"
  cites: 0
  citedby: 0
  pages: "111-116"
  booktitle: "Proceedings of the 2010 International Conference on Software Engineering Research & Practice, SERP 2010, July 12-15, 2010, Las Vegas, Nevada, USA, 2 Volumes"
  editor:
  - name: "Hamid R. Arabnia"
    link: "https://researchr.org/alias/hamid-r.-arabnia"
  - name: "Hassan Reza"
    link: "https://researchr.org/alias/hassan-reza"
  - name: "Leonidas Deligiannidis"
    link: "https://researchr.org/alias/leonidas-deligiannidis"
  - name: "Juan Jose Cuadrado-Gallego"
    link: "https://researchr.org/alias/juan-jose-cuadrado-gallego"
  - name: "Vincent Schmidt"
    link: "https://researchr.org/alias/vincent-schmidt"
  - name: "Ashu M. G. Solo"
    link: "https://researchr.org/alias/ashu-m.-g.-solo"
  publisher: "CSREA Press"
  isbn: "1-60132-167-8"
  kind: "inproceedings"
  key: "RamosSFTMS10"
- title: "An Embedded Language Approach to Router Specification in Curry"
  author:
  - name: "J. Guadalupe Ramos"
    link: "https://researchr.org/alias/j.-guadalupe-ramos"
  - name: "Josep Silva"
    link: "http://www.dsic.upv.es/~jsilva"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2932&spage=277"
  links:
    doi: "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:
  - name: "Peter van Emde Boas"
    link: "https://researchr.org/alias/peter-van-emde-boas"
  - name: "Jaroslav Pokorný"
    link: "https://researchr.org/alias/jaroslav-pokorn%C3%BD"
  - name: "Mária Bieliková"
    link: "https://researchr.org/alias/m%C3%A1ria-bielikov%C3%A1"
  - name: "Julius Stuller"
    link: "https://researchr.org/alias/julius-stuller"
  volume: "2932"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-20779-1"
  kind: "inproceedings"
  key: "RamosSV04"
- title: "A Comparative Study of Algorithmic Debugging Strategies"
  author:
  - name: "Josep Silva"
    link: "http://www.dsic.upv.es/~jsilva"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/978-3-540-71410-1_11"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-71410-1_11"
  tags:
  - "debugging"
  researchr: "https://researchr.org/publication/Silva06"
  cites: 0
  citedby: 0
  pages: "143-159"
  booktitle: "Logic-Based Program Synthesis and Transformation, 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers"
  editor:
  - name: "Germán Puebla"
    link: "https://researchr.org/alias/germ%C3%A1n-puebla"
  volume: "4407"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-71409-5"
  kind: "inproceedings"
  key: "Silva06"
- title: "Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change Graphs"
  author:
  - name: "Gustavo Arroyo"
    link: "https://researchr.org/alias/gustavo-arroyo"
  - name: "J. Guadalupe Ramos"
    link: "https://researchr.org/alias/j.-guadalupe-ramos"
  - name: "Josep Silva"
    link: "http://www.dsic.upv.es/~jsilva"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/978-3-540-71410-1_6"
  links:
    doi: "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:
  - name: "Germán Puebla"
    link: "https://researchr.org/alias/germ%C3%A1n-puebla"
  volume: "4407"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-71409-5"
  kind: "inproceedings"
  key: "ArroyoRSV06"
- title: "A Tracking Semantics for CSP"
  author:
  - name: "Marisa Llorens"
    link: "https://researchr.org/alias/marisa-llorens"
  - name: "Javier Oliver"
    link: "https://researchr.org/alias/javier-oliver"
  - name: "Josep Silva"
    link: "http://www.dsic.upv.es/~jsilva"
  - name: "Salvador Tamarit"
    link: "https://researchr.org/alias/salvador-tamarit"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-13321-3_15"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-13321-3_15"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/mpc/LlorensOST10"
  tags:
  - "semantics"
  researchr: "https://researchr.org/publication/LlorensOST10-0"
  cites: 0
  citedby: 0
  pages: "248-270"
  booktitle: "Mathematics of Program Construction, 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings"
  editor:
  - name: "Claude Bolduc"
    link: "https://researchr.org/alias/claude-bolduc"
  - name: "Jules Desharnais"
    link: "https://researchr.org/alias/jules-desharnais"
  - name: "Béchir Ktari"
    link: "https://researchr.org/alias/b%C3%A9chir-ktari"
  volume: "6120"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-13320-6"
  kind: "inproceedings"
  key: "LlorensOST10-0"
- title: "An offline partial evaluator for curry programs"
  author:
  - name: "J. Guadalupe Ramos"
    link: "https://researchr.org/alias/j.-guadalupe-ramos"
  - name: "Josep Silva"
    link: "http://www.dsic.upv.es/~jsilva"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1085099.1085109"
  links:
    doi: "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:
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  publisher: "ACM"
  isbn: "1-59593-069-8"
  kind: "inproceedings"
  key: "RamosSV05:0"
- title: "Graph Generation to Statically Represent CSP Processes"
  author:
  - name: "Marisa Llorens"
    link: "https://researchr.org/alias/marisa-llorens"
  - name: "Javier Oliver"
    link: "https://researchr.org/alias/javier-oliver"
  - name: "Josep Silva"
    link: "http://www.dsic.upv.es/~jsilva"
  - name: "Salvador Tamarit"
    link: "https://researchr.org/alias/salvador-tamarit"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-20551-4_4"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-20551-4_4"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/lopstr/LlorensOST10"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/LlorensOST10-2"
  cites: 0
  citedby: 0
  pages: "52-66"
  booktitle: "Logic-Based Program Synthesis and Transformation - 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers"
  editor:
  - name: "María Alpuente"
    link: "https://researchr.org/alias/mar%26iacute%3Ba-alpuente"
  volume: "6564"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-20550-7"
  kind: "inproceedings"
  key: "LlorensOST10-2"
- title: "Dynamic Slicing Techniques for Petri Nets"
  author:
  - name: "Marisa Llorens"
    link: "https://researchr.org/alias/marisa-llorens"
  - name: "Javier Oliver"
    link: "https://researchr.org/alias/javier-oliver"
  - name: "Josep Silva"
    link: "http://www.dsic.upv.es/~jsilva"
  - name: "Salvador Tamarit"
    link: "https://researchr.org/alias/salvador-tamarit"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2008"
  doi: "http://dx.doi.org/10.1016/j.entcs.2008.12.037"
  links:
    doi: "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"
  kind: "article"
  key: "LlorensOSTV08"