A Unifying Approach to Goal-directed Evaluation

Olivier Danvy, Bernd Grobauer, Morten Rhiger. A Unifying Approach to Goal-directed Evaluation. New Generation Comput., 20(1):53-74, 2001.

Bibliographies