@inproceedings{Hanus00b,
  title = {Server Side Web Scripting in Curry},
  author = {Michael Hanus},
  year = {2000},
  researchr = {https://researchr.org/publication/Hanus00b},
  cites = {0},
  citedby = {0},
  pages = {71-84},
  booktitle = {WLP},
}

@inproceedings{Hanus06,
  title = {Adding Constraint Handling Rules to Curry},
  author = {Michael Hanus},
  year = {2006},
  url = {http://www.kr.tuwien.ac.at/wlp06/06-final.ps.gz},
  tags = {rule-based, constraints, rules},
  researchr = {https://researchr.org/publication/Hanus06},
  cites = {0},
  citedby = {0},
  pages = {81-90},
  booktitle = {20th Workshop on Logic Programming, Vienna, Austria, February 22--24, 2006},
  editor = {Michael Fink and Hans Tompits and Stefan Woltran},
  volume = {1843-06-02},
  series = {INFSYS Research Report},
  publisher = {Technische Universität Wien, Austria},
}

@inproceedings{Hanus97:1,
  title = {Teaching Functional and Logic Programming with a Single Computational Model},
  author = {Michael Hanus},
  year = {1997},
  tags = {functional programming, logic programming, teaching, programming, logic},
  researchr = {https://researchr.org/publication/Hanus97%3A1},
  cites = {0},
  citedby = {0},
  pages = {335-350},
  booktitle = {Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP 97, Including a Special Trach on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997, Proceedings},
  editor = {Hugh Glaser and Pieter H. Hartel and Herbert Kuchen},
  volume = {1292},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-63398-7},
}

@inproceedings{Hanus92:2,
  title = {Improving Control of Logic Programs by Using Functional Logic Languages},
  author = {Michael Hanus},
  year = {1992},
  tags = {programming languages, functional programming, logic programming, logic},
  researchr = {https://researchr.org/publication/Hanus92%3A2},
  cites = {0},
  citedby = {0},
  pages = {1-23},
  booktitle = {Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP 92, Leuven, Belgium, August 26-28, 1992, Proceedings},
  editor = {Maurice Bruynooghe and Martin Wirsing},
  volume = {631},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-55844-6},
}

@inproceedings{Hanus91,
  title = {Efficient Implementation of Narrowing and Rewriting},
  author = {Michael Hanus},
  year = {1991},
  tags = {graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/Hanus91},
  cites = {0},
  citedby = {0},
  pages = {344-365},
  booktitle = {Processing Declarative Knowledge, International Workshop PDK 91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings},
  editor = {Harold Boley and Michael M. Richter},
  volume = {567},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-55033-X},
}

@article{Hanus97:0,
  title = {Integration of Declarative Paradigms: Benefits and Challenges},
  author = {Michael Hanus},
  year = {1997},
  researchr = {https://researchr.org/publication/Hanus97%3A0},
  cites = {0},
  citedby = {0},
  journal = {SIGPLAN Notices},
  volume = {32},
  number = {1},
  pages = {77-79},
}

@inproceedings{HanusL96,
  title = {A Denotational Semantics for Needed Narrowing},
  author = {Michael Hanus and Salvador Lucas},
  year = {1996},
  tags = {semantics, denotational semantics},
  researchr = {https://researchr.org/publication/HanusL96},
  cites = {0},
  citedby = {0},
  pages = {259-270},
  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},
}

@article{HanusK96,
  title = {Integration of Functional and Logic Programming},
  author = {Michael Hanus and Herbert Kuchen},
  year = {1996},
  tags = {functional programming, logic programming, programming, logic},
  researchr = {https://researchr.org/publication/HanusK96},
  cites = {0},
  citedby = {0},
  journal = {ACM Computing Surveys},
  volume = {28},
  number = {2},
  pages = {306-308},
}

@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{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{AntoyH02,
  title = {Functional Logic Design Patterns},
  author = {Sergio Antoy and Michael Hanus},
  year = {2002},
  url = {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 = {Zhenjiang Hu and Mario Rodríguez-Artalejo},
  volume = {2441},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-44233-2},
}

@article{HanusLM98,
  title = {Strongly Sequential and Inductively Sequential Term Rewriting Systems},
  author = {Michael Hanus and Salvador Lucas and Aart Middeldorp},
  year = {1998},
  doi = {10.1016/S0020-0190(98)00016-7},
  url = {http://dx.doi.org/10.1016/S0020-0190(98)00016-7},
  tags = {term rewriting, graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/HanusLM98},
  cites = {0},
  citedby = {0},
  journal = {Inf. Process. Lett.},
  volume = {67},
  number = {1},
  pages = {1-8},
}

@inproceedings{Hanus90,
  title = {A Functional and Logic Language with Polymorphic Types (Extended Abstract)},
  author = {Michael Hanus},
  year = {1990},
  tags = {logic},
  researchr = {https://researchr.org/publication/Hanus90},
  cites = {0},
  citedby = {0},
  pages = {215-224},
  booktitle = {Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO  90, Capri, Italy, April 10-12, 1990, Proceedings},
  editor = {Alfonso Miola},
  volume = {429},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-52531-9},
}

@inproceedings{Hanus95:0,
  title = {On Extra Variables in (Equational) Logic Programming},
  author = {Michael Hanus},
  year = {1995},
  tags = {logic programming, programming, logic},
  researchr = {https://researchr.org/publication/Hanus95%3A0},
  cites = {0},
  citedby = {0},
  pages = {665-679},
  booktitle = {ICLP},
}

@inproceedings{Hanus97:4,
  title = {Multi-Paradigm Declarative Programming (Abstract)},
  author = {Michael Hanus},
  year = {1997},
  tags = {programming paradigms, programming},
  researchr = {https://researchr.org/publication/Hanus97%3A4},
  cites = {0},
  citedby = {0},
  pages = {43-45},
  booktitle = {ILPS},
}

@inproceedings{SteinerH00,
  title = {Type-based Nondeterminism Checking in Functional Logic Programs},
  author = {Frank Steiner and Michael Hanus},
  year = {2000},
  tags = {rule-based, functional programming, type checking, logic programming, logic},
  researchr = {https://researchr.org/publication/SteinerH00},
  cites = {0},
  citedby = {0},
  pages = {135-148},
  booktitle = {WLP},
}

@inproceedings{GanzingerH85,
  title = {Modular Logic Programming of Compilers},
  author = {Harald Ganzinger and Michael Hanus},
  year = {1985},
  tags = {logic programming, compiler, programming, logic},
  researchr = {https://researchr.org/publication/GanzingerH85},
  cites = {0},
  citedby = {0},
  pages = {242-253},
  booktitle = {SLP},
}

@inproceedings{Hanus94:1,
  title = {Combining Lazy Narrowing and Simplification},
  author = {Michael Hanus},
  year = {1994},
  tags = {laziness},
  researchr = {https://researchr.org/publication/Hanus94%3A1},
  cites = {0},
  citedby = {0},
  pages = {370-384},
  booktitle = {Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP 94, Madrid, Spain, September 14-16, 1994, Proceedings},
  editor = {Manuel V. Hermenegildo and Jaan Penjam},
  volume = {844},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-58402-1},
}

@inproceedings{Hanus97,
  title = {A Unified Computation Model for Declarative Programming},
  author = {Michael Hanus},
  year = {1997},
  tags = {programming},
  researchr = {https://researchr.org/publication/Hanus97},
  cites = {0},
  citedby = {0},
  pages = {9-24},
  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{BrasselHM08,
  title = {High-Level Database Programming in Curry},
  author = {Bernd Braßel and Michael Hanus and Marion Müller},
  year = {2008},
  doi = {10.1007/978-3-540-77442-6_21},
  url = {http://dx.doi.org/10.1007/978-3-540-77442-6_21},
  tags = {programming, database},
  researchr = {https://researchr.org/publication/BrasselHM08},
  cites = {0},
  citedby = {0},
  pages = {316-332},
  booktitle = {Practical Aspects of Declarative Languages, 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008},
  editor = {Paul Hudak and David Scott Warren},
  volume = {4902},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-77441-9},
}

@article{Hanus97:2,
  title = {Lazy Narrowing with Simplification},
  author = {Michael Hanus},
  year = {1997},
  tags = {laziness},
  researchr = {https://researchr.org/publication/Hanus97%3A2},
  cites = {0},
  citedby = {0},
  journal = {Computer Languages, Systems \& Structures},
  volume = {23},
  number = {2-4},
  pages = {61-85},
}

@inproceedings{Hanus00a,
  title = {PACS: The Portland Aachen Curry System},
  author = {Michael Hanus},
  year = {2000},
  researchr = {https://researchr.org/publication/Hanus00a},
  cites = {0},
  citedby = {0},
  pages = {219-221},
  booktitle = {WLP},
}

@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{Hanus93:0,
  title = {Lazy Unification with Inductive Simplification},
  author = {Michael Hanus},
  year = {1993},
  tags = {laziness},
  researchr = {https://researchr.org/publication/Hanus93%3A0},
  cites = {0},
  citedby = {0},
  pages = {42-46},
  booktitle = {WLP},
}

@inproceedings{AntoyH05,
  title = {Declarative Programming with Function Patterns},
  author = {Sergio Antoy and Michael Hanus},
  year = {2005},
  doi = {10.1007/11680093_2},
  url = {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 = {Patricia M. Hill},
  volume = {3901},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-32654-5},
}

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

@article{HanusHH03,
  title = {Towards translating embedded Curry to C},
  author = {Michael Hanus and Klaus Höppner and Frank Huch},
  year = {2003},
  url = {http://www.elsevier.com/gej-ng/31/29/23/135/48/show/Products/notes/index.htt#005},
  tags = {translation, C++},
  researchr = {https://researchr.org/publication/HanusHH03},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {86},
  number = {3},
  pages = {35-51},
}

@inproceedings{HanusS98,
  title = {Controlling Search in Funtional Logic Programs},
  author = {Michael Hanus and Frank Steiner},
  year = {1998},
  tags = {logic programming, logic, search},
  researchr = {https://researchr.org/publication/HanusS98},
  cites = {0},
  citedby = {0},
  pages = {347-348},
  booktitle = {Implementation Technology for Programming Languages based on Logic},
}

@article{Hanus94:0,
  title = {The Integration of Functions into Logic Programming: From Theory to Practice},
  author = {Michael Hanus},
  year = {1994},
  tags = {logic programming, programming, logic},
  researchr = {https://researchr.org/publication/Hanus94%3A0},
  cites = {0},
  citedby = {0},
  journal = {Journal of Logic and Algebraic Programming},
  volume = {19/20},
  pages = {583-628},
}

@article{AntoyH04,
  title = {Concurrent distinct choices},
  author = {Sergio Antoy and Michael Hanus},
  year = {2004},
  doi = {10.1017/S095679680400509X},
  url = {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},
}

@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{Hanus91:1,
  title = {Horn Clause Programs with Polymorphic Types: Semantics and Resolution},
  author = {Michael Hanus},
  year = {1991},
  tags = {semantics},
  researchr = {https://researchr.org/publication/Hanus91%3A1},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {89},
  number = {1},
  pages = {63-106},
}

@article{HanusL01,
  title = {An Evaluation Semantics for Narrowing-Based Functional Logic Languages},
  author = {Michael Hanus and Salvador Lucas},
  year = {2001},
  tags = {semantics, rule-based, logic},
  researchr = {https://researchr.org/publication/HanusL01},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional and Logic Programming},
  volume = {2001},
  number = {2},
}

@inproceedings{Hanus94,
  title = {Towards the Global Optimization of Functional Logic Programs},
  author = {Michael Hanus},
  year = {1994},
  tags = {optimization, functional programming, logic programming, logic, program optimization},
  researchr = {https://researchr.org/publication/Hanus94},
  cites = {0},
  citedby = {0},
  pages = {68-82},
  booktitle = {Compiler Construction, 5th International Conference, CC 94, Edinburgh, U.K., April 7-9, 1994, Proceedings},
  editor = {Peter Fritzson},
  volume = {786},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-57877-3},
}

@inproceedings{Hanus93,
  title = {Analysis of Nonlinear Constraints in CLP(R)},
  author = {Michael Hanus},
  year = {1993},
  tags = {analysis, constraints},
  researchr = {https://researchr.org/publication/Hanus93},
  cites = {0},
  citedby = {0},
  pages = {83-99},
  booktitle = {ICLP},
}

@article{AntoyEH00,
  title = {A needed narrowing strategy},
  author = {Sergio Antoy and Rachid Echahed and Michael Hanus},
  year = {2000},
  doi = {10.1145/347476.347484},
  url = {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},
}

@inproceedings{AntoyHMS01,
  title = {An Implementation of Narrowing Strategies},
  author = {Sergio Antoy and Michael Hanus and Bart Massey and 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},
}

@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{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{AntoyEH97,
  title = {Parallel Evaluation Strategies for Functional Logic Languages},
  author = {Sergio Antoy and Rachid Echahed and Michael Hanus},
  year = {1997},
  tags = {logic},
  researchr = {https://researchr.org/publication/AntoyEH97},
  cites = {0},
  citedby = {0},
  pages = {138-152},
  booktitle = {ICLP},
}

@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{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{AntoyHLT04,
  title = {A Virtual Machine for Functional Logic Computations},
  author = {Sergio Antoy and Michael Hanus and Jimeng Liu and Andrew P. Tolmach},
  year = {2004},
  doi = {10.1007/11431664_7},
  url = {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 = {Clemens Grelck and Frank Huch and Greg Michaelson and Philip W. Trinder},
  volume = {3474},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-26094-3},
}

@article{HanusS99,
  title = {An Abstract Machine for Curry and Its Concurrent Implementation in Java},
  author = {Michael Hanus and Ramin Sadre},
  year = {1999},
  tags = {Java, abstract machine},
  researchr = {https://researchr.org/publication/HanusS99},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional and Logic Programming},
  volume = {1999},
  number = {Special Issue 1},
}

@inproceedings{HanusJ93,
  title = {A Debugging Model for Functional Logic Programs},
  author = {Michael Hanus and Berthold Josephs},
  year = {1993},
  tags = {functional programming, logic programming, debugging, logic},
  researchr = {https://researchr.org/publication/HanusJ93},
  cites = {0},
  citedby = {0},
  pages = {28-43},
  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{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},
}

@inproceedings{HanusL99,
  title = {A Semantics for Program Analysis in Narrowing-Based Functional Logic Languages},
  author = {Michael Hanus and Salvador Lucas},
  year = {1999},
  tags = {programming languages, semantics, rule-based, program analysis, functional programming, analysis, logic programming, logic},
  researchr = {https://researchr.org/publication/HanusL99},
  cites = {0},
  citedby = {0},
  pages = {353-368},
  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{Hanus05,
  title = {A generic analysis environment for declarative programs},
  author = {Michael Hanus},
  year = {2005},
  doi = {10.1145/1085099.1085108},
  url = {http://doi.acm.org/10.1145/1085099.1085108},
  tags = {program analysis, meta programming, generic programming, meta-model, analysis, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/Hanus05},
  cites = {0},
  citedby = {0},
  pages = {43-48},
  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{HanusHN00,
  title = {ObjectCurry: An Object-Oriented Extension of the Declarative Multi-Paradigm Language Curry},
  author = {Michael Hanus and Frank Huch and Philipp Niederau},
  year = {2000},
  url = {http://link.springer.de/link/service/series/0558/bibs/2011/20110089.htm},
  researchr = {https://researchr.org/publication/HanusHN00},
  cites = {0},
  citedby = {0},
  pages = {89-106},
  booktitle = {Implementation of Functional Languages, 12th International Workshop, IFL 2000, Aachen, Germany, September 4-7, 2000, Selected Papers},
  editor = {Markus Mohnen and Pieter W. M. Koopman},
  volume = {2011},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-41919-5},
}

@incollection{Hanus92:1,
  title = {Logic Programming with Type Specifications},
  author = {Michael Hanus},
  year = {1992},
  tags = {logic programming, programming, logic},
  researchr = {https://researchr.org/publication/Hanus92%3A1},
  cites = {0},
  citedby = {0},
  pages = {91-140},
  booktitle = {Types in Logic Programming},
}

@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{Hanus97:3,
  title = {Curry: A Multi-Paradigm Declarative Language (system description)},
  author = {Michael Hanus},
  year = {1997},
  researchr = {https://researchr.org/publication/Hanus97%3A3},
  cites = {0},
  citedby = {0},
  booktitle = {WLP},
}

@article{Hanus96,
  title = {Integration of Declarative Paradigms: Benefits and Challenges},
  author = {Michael Hanus},
  year = {1996},
  researchr = {https://researchr.org/publication/Hanus96},
  cites = {0},
  citedby = {0},
  journal = {ACM Computing Surveys},
  volume = {28},
  number = {4es},
  pages = {166},
}

@inproceedings{Hanus07:0,
  title = {Multi-paradigm Declarative Languages},
  author = {Michael Hanus},
  year = {2007},
  doi = {10.1007/978-3-540-74610-2_5},
  url = {http://dx.doi.org/10.1007/978-3-540-74610-2_5},
  researchr = {https://researchr.org/publication/Hanus07%3A0},
  cites = {0},
  citedby = {0},
  pages = {45-75},
  booktitle = {Logic Programming, 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings},
  editor = {Verónica Dahl and Ilkka Niemelä},
  volume = {4670},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-74608-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},
}

@inproceedings{AntoyEH94,
  title = {A Needed Narrowing Strategy},
  author = {Sergio Antoy and Rachid Echahed and Michael Hanus},
  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},
}

@inproceedings{Hanus89,
  title = {Horn Clause Programs with Polymorphic Types: Semantics and Resolution},
  author = {Michael Hanus},
  year = {1989},
  tags = {semantics},
  researchr = {https://researchr.org/publication/Hanus89},
  cites = {0},
  citedby = {0},
  pages = {225-240},
  booktitle = {TAPSOFT 89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Is},
  editor = {Josep Díaz and Fernando Orejas},
  volume = {352},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-50940-2},
}

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

@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{Hanus92,
  title = {Incremental Rewriting in Narrowing Derivations},
  author = {Michael Hanus},
  year = {1992},
  tags = {graph-rewriting, rewriting, incremental},
  researchr = {https://researchr.org/publication/Hanus92},
  cites = {0},
  citedby = {0},
  pages = {228-243},
  booktitle = {Algebraic and Logic Programming, Third International Conference, Volterra, Italy, September 2-4, 1992, Proceedings},
  editor = {Hélène Kirchner and Giorgio Levi},
  volume = {632},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-55873-X},
}

@inproceedings{BrasselCHH04,
  title = {Observing Functional Logic Computations},
  author = {Bernd Brassel and Olaf Chitil and Michael Hanus and Frank Huch},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3057&spage=193},
  tags = {logic},
  researchr = {https://researchr.org/publication/BrasselCHH04},
  cites = {0},
  citedby = {0},
  pages = {193-208},
  booktitle = {Practical Aspects of Declarative Languages, 6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings},
  editor = {Bharat Jayaraman},
  volume = {3057},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-22253-7},
}
@proceedings{wcflp:2005,
  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 = {Sergio Antoy and Michael Hanus},
  publisher = {ACM},
  isbn = {1-59593-069-8},
}

@proceedings{padl:2007,
  title = {Practical Aspects of Declarative Languages, 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007},
  year = {2007},
  researchr = {https://researchr.org/publication/padl%3A2007},
  cites = {0},
  citedby = {0},
  booktitle = {Practical Aspects of Declarative Languages, 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007},
  conference = {PADL},
  editor = {Michael Hanus},
  volume = {4354},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-69608-7},
}

@proceedings{lopstr:2008,
  title = {Logic-Based Program Synthesis and Transformation, 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers},
  year = {2009},
  doi = {10.1007/978-3-642-00515-2},
  url = {http://dx.doi.org/10.1007/978-3-642-00515-2},
  tags = {logic programming, logic, transformation, program transformation},
  researchr = {https://researchr.org/publication/lopstr%3A2008},
  cites = {0},
  citedby = {0},
  booktitle = {Logic-Based Program Synthesis and Transformation, 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers},
  conference = {LOPSTR},
  editor = {Michael Hanus},
  volume = {5438},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-00514-5},
}

@proceedings{wlp:2007,
  title = {Applications of Declarative Programming and Knowledge Management, 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers},
  year = {2009},
  doi = {10.1007/978-3-642-00675-3},
  url = {http://dx.doi.org/10.1007/978-3-642-00675-3},
  tags = {logic programming, programming, logic},
  researchr = {https://researchr.org/publication/wlp%3A2007},
  cites = {0},
  citedby = {0},
  booktitle = {Applications of Declarative Programming and Knowledge Management, 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers},
  conference = {wlp},
  editor = {Dietmar Seipel and Michael Hanus and Armin Wolf},
  volume = {5437},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-00674-6},
}