Normalization and Partial Evaluation of Functional Logic Programs | Kaicus Deutschland