Hanus, Michael "Incremental Rewriting in Narrowing Derivations" pp228-243

(1992)

Narrowing Derivations 3rd International Conference (1992) Narrowing Derivations 3rd International Conference on Algebraic and Logic Programming" (ALP'92), Springer LNCS 632, 1992  

Languages mentioned