Hanus, Michael and Berthold Josephs "A Debugging Model for Functional Logic Programs" pp28-43

(1993)

(1993) 5th International Symposium on Programming Language Implementation and Logic Programming (PLILP'93), Springer LNCS 714, 1993  

Languages mentioned