@book{Peemoeller2016,
  author    = {Bj{\"o}rn Peem{\"o}ller},
  title     = {Normalization and Partial Evaluation of Functional Logic Programs},
  publisher = {Department of Computer Science, Kiel University},
  year      = {2016},
  note      = {Dissertation, Faculty of Engineering, Kiel University}
}

@article{AlbertHanusVidal02JFLP,
author       = {Albert, Elvira and Hanus, Michael and Vidal, Germ{\'{a}}n},
title        = {A Practical Partial Evaluator for a Multi-Paradigm Declarative Language},
year         = {2002},
journal      = {Journal of Functional and Logic Programming},
number       = {1},
publisher    = {EAPLS},
volume       = {2002} }

@inproceedings{Lopez-Fraguas07,
 author = {L\'{o}pez-Fraguas, Francisco Javier and Rodr\'{\i}guez-Hortal\'{a}, Juan and S\'{a}nchez-Hern\'{a}ndez, Jaime},
 title = {A Simple Rewrite Notion for Call-time Choice Semantics},
 booktitle = {Proceedings of the 9th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming},
 series = {PPDP '07},
 year = {2007},
 isbn = {978-1-59593-769-8},
 location = {Wroclaw, Poland},
 pages = {197--208},
 numpages = {12},
 url = {http://doi.acm.org/10.1145/1273920.1273947},
 doi = {10.1145/1273920.1273947},
 acmid = {1273947},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {constructor-based rewriting logic, functional-logic programming, local bindings, non-determinism calltime choice semantics, sharing, term rewriting systems},
}