Todd A. Proebsting. Simple translation of goal-directed evaluation. In Ron K. Cytron, editor,Proceedings of the ACM SIGPLAN'97 Conference on Programming Languages Design and Implementation, SIGPLAN Notices, Vol. 32, No 5, pages 1–6, Las Vegas, Nevada, June 1997. ACM Press. Google Scholar...