A Debugging Model for Functional Logic Programs. - Michael Hanus; Berthold Josephs (PLILP, 1993)