A Debugging Model for Functional Logic Programs.

Michael Hanus Berthold Josephs A Debugging Model for Functional Logic Programs. 28-43 1992 LPE db/conf/lpe/lpe92.html#HanusJ92