Hanus, Michael "Efficient Implementation of Narrowing and Rewriting" pp344-365
(1991)
Languages mentioned
ALF
{1990}