A residualizing semantics for the partial evaluation of functional logic programs.

Elvira Albert Michael Hanus Germán Vidal A residualizing semantics for the partial evaluation of functional logic programs. 19-25 2003 85 Inf. Process. Lett. 1 http://dx.doi.org/10.1016/S0020-0190(02)00336-8 db/journals/ipl/ipl85.html#AlbertHV03