Hanus, Michael "Efficient Implementation of Narrowing and Rewriting" pp344-365

(1991)

 

Languages mentioned