publications:
- title: "A needed narrowing strategy"
  author:
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  - name: "Rachid Echahed"
    link: "http://membres-liglab.imag.fr/echahed/"
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  year: "2000"
  doi: "http://doi.acm.org/10.1145/347476.347484"
  links:
    doi: "http://doi.acm.org/10.1145/347476.347484"
  researchr: "https://researchr.org/publication/AntoyEH00"
  cites: 0
  citedby: 0
  journal: "Journal of the ACM"
  volume: "47"
  number: "4"
  pages: "776-822"
  kind: "article"
  key: "AntoyEH00"
- title: "Concurrent distinct choices"
  author:
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  year: "2004"
  doi: "http://dx.doi.org/10.1017/S095679680400509X"
  links:
    doi: "http://dx.doi.org/10.1017/S095679680400509X"
  researchr: "https://researchr.org/publication/AntoyH04"
  cites: 0
  citedby: 0
  journal: "Journal of Functional Programming"
  volume: "14"
  number: "6"
  pages: "657-668"
  kind: "article"
  key: "AntoyH04"
- title: "Using Term Rewriting to Verify Software"
  author:
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  - name: "John D. Gannon"
    link: "https://researchr.org/alias/john-d.-gannon"
  year: "1994"
  doi: "http://www.computer.org/tse/ts1994/e0259abs.htm"
  links:
    doi: "http://www.computer.org/tse/ts1994/e0259abs.htm"
  tags:
  - "term rewriting"
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/AntoyG94"
  cites: 0
  citedby: 0
  journal: "IEEE Trans. Software Eng."
  volume: "20"
  number: "4"
  pages: "259-274"
  kind: "article"
  key: "AntoyG94"
- title: "Design Strategies for Rewrite Rules"
  author:
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  year: "1990"
  tags:
  - "rule-based"
  - "graph-rewriting"
  - "rules"
  - "rewriting"
  - "design"
  - "rewriting strategies"
  researchr: "https://researchr.org/publication/Antoy90"
  cites: 0
  citedby: 0
  pages: "333-341"
  booktitle: "Conditional and Typed Rewriting Systems, 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990, Proceedings"
  editor:
  - name: "Stéphane Kaplan"
    link: "https://researchr.org/alias/st%C3%A9phane-kaplan"
  - name: "Mitsuhiro Okada"
    link: "https://researchr.org/alias/mitsuhiro-okada"
  volume: "516"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-54317-1"
  kind: "inproceedings"
  key: "Antoy90"
- title: "A Virtual Machine for Functional Logic Computations"
  author:
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  - name: "Jimeng Liu"
    link: "https://researchr.org/alias/jimeng-liu"
  - name: "Andrew P. Tolmach"
    link: "http://www.cs.pdx.edu/~apt"
  year: "2004"
  doi: "http://dx.doi.org/10.1007/11431664_7"
  links:
    doi: "http://dx.doi.org/10.1007/11431664_7"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/AntoyHLT04"
  cites: 0
  citedby: 0
  pages: "108-125"
  booktitle: "Implementation and Application of Functional Languages, 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers"
  editor:
  - name: "Clemens Grelck"
    link: "https://researchr.org/alias/clemens-grelck"
  - name: "Frank Huch"
    link: "https://researchr.org/alias/frank-huch"
  - name: "Greg Michaelson"
    link: "https://researchr.org/alias/greg-michaelson"
  - name: "Philip W. Trinder"
    link: "https://researchr.org/alias/philip-w.-trinder"
  volume: "3474"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-26094-3"
  kind: "inproceedings"
  key: "AntoyHLT04"
- title: "Automatically Checking an Implementation against Its Formal Specification"
  author:
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  - name: "Richard G. Hamlet"
    link: "https://researchr.org/alias/richard-g.-hamlet"
  year: "2000"
  doi: "http://www.computer.org:80/tse/ts2000/e0055abs.htm"
  links:
    doi: "http://www.computer.org:80/tse/ts2000/e0055abs.htm"
  researchr: "https://researchr.org/publication/AntoyH00%3A0"
  cites: 0
  citedby: 0
  journal: "IEEE Trans. Software Eng."
  volume: "26"
  number: "1"
  pages: "55-69"
  kind: "article"
  key: "AntoyH00:0"
- title: "Parallel Evaluation Strategies for Functional Logic Languages"
  author:
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  - name: "Rachid Echahed"
    link: "http://membres-liglab.imag.fr/echahed/"
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  year: "1997"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/AntoyEH97"
  cites: 0
  citedby: 0
  pages: "138-152"
  booktitle: "ICLP"
  kind: "inproceedings"
  key: "AntoyEH97"
- title: "Address location on envelopes"
  author:
  - name: "Pen-Shu Yeh"
    link: "https://researchr.org/alias/pen-shu-yeh"
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  - name: "Anne Litcher"
    link: "https://researchr.org/alias/anne-litcher"
  - name: "Azriel Rosenfeld"
    link: "https://researchr.org/alias/azriel-rosenfeld"
  year: "1987"
  doi: "http://dx.doi.org/10.1016/0031-3203(87)90055-0"
  links:
    doi: "http://dx.doi.org/10.1016/0031-3203(87)90055-0"
  researchr: "https://researchr.org/publication/YehALR87"
  cites: 0
  citedby: 0
  journal: "Pattern Recognition"
  volume: "20"
  number: "2"
  pages: "213-227"
  kind: "article"
  key: "YehALR87"
- title: "A Uniform Approach to Deduction and Automatic Implementation"
  author:
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  - name: "Paola Forcheri"
    link: "https://researchr.org/alias/paola-forcheri"
  - name: "Maria Teresa Molfino"
    link: "https://researchr.org/alias/maria-teresa-molfino"
  - name: "Carlo Schenone"
    link: "https://researchr.org/alias/carlo-schenone"
  year: "1992"
  tags:
  - "systematic-approach"
  researchr: "https://researchr.org/publication/AntoyFMS92"
  cites: 0
  citedby: 0
  pages: "132-144"
  booktitle: "Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO  92, Bath, UK, April 13-15, 1992, Proceedings"
  editor:
  - name: "John Fitch"
    link: "https://researchr.org/alias/john-fitch"
  volume: "721"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-57272-4"
  kind: "inproceedings"
  key: "AntoyFMS92"
- title: "Optimal Non-deterministic Functional Logic Computations"
  author:
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  year: "1997"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/Antoy97"
  cites: 0
  citedby: 0
  pages: "16-30"
  booktitle: "Algebraic and Logic Programming, 6th International Joint Conference, ALP  97 - HOA  97, Southampton, U.K., Spetember 3-5, 1997, Proceedings"
  editor:
  - name: "Michael Hanus"
    link: "https://researchr.org/alias/michael-hanus"
  - name: "Jan Heering"
    link: "http://homepages.cwi.nl/~jan/"
  - name: "Karl Meinke"
    link: "https://researchr.org/alias/karl-meinke"
  volume: "1298"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-63459-2"
  kind: "inproceedings"
  key: "Antoy97"
- title: "Functional Logic Design Patterns"
  author:
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2441/24410067.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2441/24410067.htm"
  tags:
  - "logic"
  - "design"
  researchr: "https://researchr.org/publication/AntoyH02"
  cites: 0
  citedby: 0
  pages: "67-87"
  booktitle: "Functional and Logic Programming, 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002, Proceedings"
  editor:
  - name: "Zhenjiang Hu"
    link: "https://researchr.org/alias/zhenjiang-hu"
  - name: "Mario Rodríguez-Artalejo"
    link: "https://researchr.org/alias/mario-rodr%C3%ADguez-artalejo"
  volume: "2441"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-44233-2"
  kind: "inproceedings"
  key: "AntoyH02"
- title: "An Implementation of Narrowing Strategies"
  author:
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  - name: "Bart Massey"
    link: "https://researchr.org/alias/bart-massey"
  - name: "Frank Steiner"
    link: "https://researchr.org/alias/frank-steiner"
  year: "2001"
  researchr: "https://researchr.org/publication/AntoyHMS01"
  cites: 0
  citedby: 0
  pages: "207-217"
  booktitle: "Proceedings of the 3rd international ACM SIGPLAN conference on Principles and practice of declarative programming, September 5-7, 2001, Florence, Italy"
  publisher: "ACM"
  isbn: "1-58113-388-X"
  kind: "inproceedings"
  key: "AntoyHMS01"
- title: "A Needed Narrowing Strategy"
  author:
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  - name: "Rachid Echahed"
    link: "http://membres-liglab.imag.fr/echahed/"
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  year: "1994"
  researchr: "https://researchr.org/publication/AntoyEH94"
  cites: 0
  citedby: 0
  pages: "268-279"
  booktitle: "Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages"
  kind: "inproceedings"
  key: "AntoyEH94"
- title: "Typed Higher-Order Narrowing without Higher-Order Strategies"
  author:
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  - name: "Andrew P. Tolmach"
    link: "http://www.cs.pdx.edu/~apt"
  year: "1999"
  researchr: "https://researchr.org/publication/AntoyT99"
  cites: 0
  citedby: 0
  pages: "335-353"
  booktitle: "Functional and Logic Programming, 4th Fuji International Symposium, FLOPS 99, Tsukuba, Japan, November 11-13, 1999, Proceedings"
  editor:
  - name: "Aart Middeldorp"
    link: "https://researchr.org/alias/aart-middeldorp"
  - name: "Taisuke Sato"
    link: "https://researchr.org/alias/taisuke-sato"
  volume: "1722"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-66677-X"
  kind: "inproceedings"
  key: "AntoyT99"
- title: "Implementing functional logic languages using multiple threads and stores"
  author:
  - name: "Andrew P. Tolmach"
    link: "http://www.cs.pdx.edu/~apt"
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  - name: "Marius Nita"
    link: "https://researchr.org/alias/marius-nita"
  year: "2004"
  doi: "http://doi.acm.org/10.1145/1016850.1016865"
  links:
    doi: "http://doi.acm.org/10.1145/1016850.1016865"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/TolmachAN04"
  cites: 0
  citedby: 0
  pages: "90-102"
  booktitle: "Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, ICFP 2004, Snow Bird, UT, USA, September 19-21, 2004"
  editor:
  - name: "Chris Okasaki"
    link: "https://researchr.org/alias/chris-okasaki"
  - name: "Kathleen Fisher"
    link: "http://www.research.att.com/people/Fisher_Kathleen_S"
  publisher: "ACM"
  isbn: "1-58113-905-5"
  kind: "inproceedings"
  key: "TolmachAN04"
- title: "Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages"
  author:
  - name: "Elvira Albert"
    link: "https://researchr.org/alias/elvira-albert"
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2042/20420103.htm"
  links:
    doi: "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:
  - name: "Kung-Kiu Lau"
    link: "https://researchr.org/alias/kung-kiu-lau"
  volume: "2042"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-42127-0"
  kind: "inproceedings"
  key: "AlbertAV00a"
- title: "Self-Checking against Formal Specifications"
  author:
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  - name: "Richard G. Hamlet"
    link: "https://researchr.org/alias/richard-g.-hamlet"
  year: "1992"
  researchr: "https://researchr.org/publication/AntoyH92"
  cites: 0
  citedby: 0
  pages: "355-360"
  booktitle: "Computing and Information - ICCI 92, Fourth International Conference on Computing and Information, Toronto, Ontario, Canada, May 28-30, 1992, Proceedings"
  editor:
  - name: "Waldemar W. Koczkodaj"
    link: "https://researchr.org/alias/waldemar-w.-koczkodaj"
  - name: "Peter E. Lauer"
    link: "https://researchr.org/alias/peter-e.-lauer"
  - name: "Anestis A. Toptsis"
    link: "https://researchr.org/alias/anestis-a.-toptsis"
  publisher: "IEEE Computer Society"
  isbn: "0-8186-2812-X"
  kind: "inproceedings"
  key: "AntoyH92"
- title: "Rapid Protoryping of System Enhancements"
  author:
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  - name: "Virginia Tech"
    link: "https://researchr.org/alias/virginia-tech"
  - name: "Paola Forcheri"
    link: "https://researchr.org/alias/paola-forcheri"
  - name: "Maria Teresa Molfino"
    link: "https://researchr.org/alias/maria-teresa-molfino"
  - name: "Marvin V. Zelkowitz"
    link: "https://researchr.org/alias/marvin-v.-zelkowitz"
  year: "1990"
  researchr: "https://researchr.org/publication/AntoyTFMZ90"
  cites: 0
  citedby: 0
  pages: "330-336"
  booktitle: "Proceedings of the First International Conference on Systems Integration, Morristown, NJ, USA, April 1990"
  editor:
  - name: "Peter A. Ng"
    link: "https://researchr.org/alias/peter-a.-ng"
  - name: "C. V. Ramamoorthy"
    link: "https://researchr.org/alias/c.-v.-ramamoorthy"
  - name: "Laurence C. Seifert"
    link: "https://researchr.org/alias/laurence-c.-seifert"
  - name: "Raymond T. Yeh"
    link: "https://researchr.org/alias/raymond-t.-yeh"
  publisher: "IEEE Computer Society"
  isbn: "0-8186-9027-5"
  kind: "inproceedings"
  key: "AntoyTFMZ90"
- title: "A monadic semantics for core Curry"
  author:
  - name: "Andrew P. Tolmach"
    link: "http://www.cs.pdx.edu/~apt"
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  year: "2003"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/135/48/show/Products/notes/index.htt#004"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/135/48/show/Products/notes/index.htt#004"
  tags:
  - "semantics"
  researchr: "https://researchr.org/publication/TolmachA03"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "86"
  number: "3"
  pages: "16-34"
  kind: "article"
  key: "TolmachA03"
- title: "Formalization and abstract implementation of rewriting with nested rules"
  author:
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  - name: "Stephen Johnson"
    link: "https://researchr.org/alias/stephen-johnson"
  year: "2004"
  doi: "http://doi.acm.org/10.1145/1013963.1013981"
  links:
    doi: "http://doi.acm.org/10.1145/1013963.1013981"
  tags:
  - "rule-based"
  - "graph-rewriting"
  - "rules"
  - "rewriting"
  researchr: "https://researchr.org/publication/AntoyJ04"
  cites: 0
  citedby: 0
  pages: "144-154"
  booktitle: "Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 24-26 August 2004, Verona, Italy"
  editor:
  - name: "Eugenio Moggi"
    link: "https://researchr.org/alias/eugenio-moggi"
  - name: "David Scott Warren"
    link: "https://researchr.org/alias/david-scott-warren"
  publisher: "ACM"
  isbn: "1-58113-819-9"
  kind: "inproceedings"
  key: "AntoyJ04"
- title: "Evaluation Strategies for Functional Logic Programming"
  author:
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  year: "2001"
  doi: "http://www.elsevier.nl/locate/entcs/volume57.html"
  links:
    doi: "http://www.elsevier.nl/locate/entcs/volume57.html"
  tags:
  - "functional programming"
  - "logic programming"
  - "programming"
  - "logic"
  researchr: "https://researchr.org/publication/Antoy01%3A0"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "57"
  pages: "1-16"
  kind: "article"
  key: "Antoy01:0"
- title: "Demandness in Rewriting and Narrowing"
  author:
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  - name: "Salvador Lucas"
    link: "http://users.dsic.upv.es/~slucas/"
  year: "2002"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/126/23/show/Products/notes/index.htt#004"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/126/23/show/Products/notes/index.htt#004"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/AntoyL02"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "76"
  pages: "42-51"
  kind: "article"
  key: "AntoyL02"
- title: "Measuring the Effectiveness of Partial Evaluation"
  author:
  - name: "Elvira Albert"
    link: "https://researchr.org/alias/elvira-albert"
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2000"
  doi: "ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-00-6-1-albert.ps.Z"
  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:
  - name: "Kung-Kiu Lau"
    link: "https://researchr.org/alias/kung-kiu-lau"
  volume: "2042"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-42127-0"
  kind: "inproceedings"
  key: "AlbertAV00"
- title: "Evaluation strategies for functional logic programming"
  author:
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.jsc.2004.12.007"
  links:
    doi: "http://dx.doi.org/10.1016/j.jsc.2004.12.007"
  tags:
  - "functional programming"
  - "logic programming"
  - "programming"
  - "logic"
  researchr: "https://researchr.org/publication/Antoy05"
  cites: 0
  citedby: 0
  journal: "Journal of Symbolic Computation"
  volume: "40"
  number: "1"
  pages: "875-903"
  kind: "article"
  key: "Antoy05"
- title: "A Sequential Reduction Strategy"
  author:
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  - name: "Aart Middeldorp"
    link: "http://cl-informatik.uibk.ac.at/~ami/"
  year: "1994"
  researchr: "https://researchr.org/publication/AntoyM94"
  cites: 0
  citedby: 0
  pages: "168-185"
  booktitle: "Algebraic and Logic Programming, 4th International Conference, ALP 94, Madid, Spain, September 14-16, 1994, Proceedings"
  editor:
  - name: "Giorgio Levi"
    link: "https://researchr.org/alias/giorgio-levi"
  - name: "Mario Rodríguez-Artalejo"
    link: "https://researchr.org/alias/mario-rodr%C3%ADguez-artalejo"
  volume: "850"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-58431-5"
  kind: "inproceedings"
  key: "AntoyM94"
- title: "Constructor-Based Conditional Narrowing"
  author:
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  year: "2001"
  tags:
  - "rule-based"
  researchr: "https://researchr.org/publication/Antoy01"
  cites: 0
  citedby: 0
  pages: "199-206"
  booktitle: "Proceedings of the 3rd international ACM SIGPLAN conference on Principles and practice of declarative programming, September 5-7, 2001, Florence, Italy"
  publisher: "ACM"
  isbn: "1-58113-388-X"
  kind: "inproceedings"
  key: "Antoy01"
- title: "A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation"
  author:
  - name: "Elvira Albert"
    link: "https://researchr.org/alias/elvira-albert"
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  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:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  kind: "inproceedings"
  key: "AlbertAV00:0"
- title: "Definitional Trees"
  author:
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  year: "1992"
  researchr: "https://researchr.org/publication/Antoy92"
  cites: 0
  citedby: 0
  pages: "143-157"
  booktitle: "Algebraic and Logic Programming, Third International Conference, Volterra, Italy, September 2-4, 1992, Proceedings"
  editor:
  - name: "Hélène Kirchner"
    link: "https://researchr.org/alias/h%C3%A9l%C3%A8ne-kirchner"
  - name: "Giorgio Levi"
    link: "https://researchr.org/alias/giorgio-levi"
  volume: "632"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-55873-X"
  kind: "inproceedings"
  key: "Antoy92"
- title: "Declarative Programming with Function Patterns"
  author:
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11680093_2"
  links:
    doi: "http://dx.doi.org/10.1007/11680093_2"
  tags:
  - "programming"
  researchr: "https://researchr.org/publication/AntoyH05"
  cites: 0
  citedby: 0
  pages: "6-22"
  booktitle: "Logic Based Program Synthesis and Transformation, 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers"
  editor:
  - name: "Patricia M. Hill"
    link: "https://researchr.org/alias/patricia-m.-hill"
  volume: "3901"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-32654-5"
  kind: "inproceedings"
  key: "AntoyH05"
- title: "A Sequential Reduction Strategy"
  author:
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  - name: "Aart Middeldorp"
    link: "https://researchr.org/alias/aart-middeldorp"
  year: "1996"
  doi: "http://dx.doi.org/10.1016/0304-3975(96)00041-2"
  links:
    doi: "http://dx.doi.org/10.1016/0304-3975(96)00041-2"
  researchr: "https://researchr.org/publication/AntoyM96"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "165"
  number: "1"
  pages: "75-95"
  kind: "article"
  key: "AntoyM96"
- title: "Non-Determinism and Lazy Evaluation in Logic Programming"
  author:
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  year: "1991"
  tags:
  - "laziness"
  - "logic programming"
  - "programming"
  - "logic"
  researchr: "https://researchr.org/publication/Antoy91%3A0"
  cites: 0
  citedby: 0
  pages: "318-331"
  booktitle: "LOPSTR"
  kind: "inproceedings"
  key: "Antoy91:0"
- title: "Improving the Efficiency of Non-Deterministic Computations"
  author:
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  - name: "Pascual Julián Iranzo"
    link: "https://researchr.org/alias/pascual-juli%C3%A1n-iranzo"
  - name: "Bart Massey"
    link: "https://researchr.org/alias/bart-massey"
  year: "2002"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/123/25/show/Products/notes/index.htt#005"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/123/25/show/Products/notes/index.htt#005"
  researchr: "https://researchr.org/publication/AntoyIM02"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "64"
  pages: "73-94"
  kind: "article"
  key: "AntoyIM02"
- title: "On the Correctness of Bubbling"
  author:
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  - name: "Daniel W. Brown"
    link: "https://researchr.org/alias/daniel-w.-brown"
  - name: "Su-Hui Chiang"
    link: "https://researchr.org/alias/su-hui-chiang"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11805618_4"
  links:
    doi: "http://dx.doi.org/10.1007/11805618_4"
  researchr: "https://researchr.org/publication/AntoyBC06"
  cites: 0
  citedby: 0
  pages: "35-49"
  booktitle: "Term Rewriting and Applications, 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings"
  editor:
  - name: "Frank Pfenning"
    link: "http://www.cs.cmu.edu/~fp/"
  volume: "4098"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-36834-5"
  kind: "inproceedings"
  key: "AntoyBC06"
- title: "Lazy Context Cloning for Non-Deterministic Graph Rewriting"
  author:
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  - name: "Daniel W. Brown"
    link: "https://researchr.org/alias/daniel-w.-brown"
  - name: "Su-Hui Chiang"
    link: "https://researchr.org/alias/su-hui-chiang"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.entcs.2006.10.026"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2006.10.026"
  tags:
  - "laziness"
  - "graph-rewriting"
  - "context-aware"
  - "rewriting"
  researchr: "https://researchr.org/publication/AntoyBC07"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "176"
  number: "1"
  pages: "3-23"
  kind: "article"
  key: "AntoyBC07"
- title: "Preface"
  author:
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  - name: "Yoshihito Toyama"
    link: "https://researchr.org/alias/yoshihito-toyama"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.entcs.2004.11.016"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2004.11.016"
  researchr: "https://researchr.org/publication/AntoyT05"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "124"
  number: "2"
  pages: "1-2"
  kind: "article"
  key: "AntoyT05"
- title: "Preface"
  author:
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.entcs.2007.02.044"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2007.02.044"
  researchr: "https://researchr.org/publication/Antoy07"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "174"
  number: "10"
  pages: "1-2"
  kind: "article"
  key: "Antoy07"
- title: "Proceedings of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming, Tallinn, Estonia, September 29, 2005"
  year: "2005"
  tags:
  - "functional programming"
  - "logic programming"
  - "programming"
  - "logic"
  researchr: "https://researchr.org/publication/wcflp%3A2005"
  cites: 0
  citedby: 0
  booktitle: "Proceedings of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming, Tallinn, Estonia, September 29, 2005"
  conference: "wcflp"
  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: "proceedings"
  key: "wcflp:2005"
- title: "Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 15-17, 2008, Valencia, Spain"
  year: "2008"
  tags:
  - "principles"
  - "programming"
  researchr: "https://researchr.org/publication/ppdp%3A2008"
  cites: 0
  citedby: 0
  booktitle: "Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 15-17, 2008, Valencia, Spain"
  conference: "ppdp"
  editor:
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  - name: "Elvira Albert"
    link: "https://researchr.org/alias/elvira-albert"
  publisher: "ACM"
  isbn: "978-1-60558-117-0"
  kind: "proceedings"
  key: "ppdp:2008"