Hanus, Michael "Improving Control of Logic Programs by Using Functional Logic Languages" pp1-23

(1992)

(1992) 4th International Symposium on Programming Language Implementation and Logic Programming (PLILP'92), Springer LNCS 631, 1992  

Languages mentioned