Michael Hanus: Functional Logic Languages: Combine Search and Efficient Evaluation (Panel Abstract). ILPS 1995: 625-626