Your search returned the following document:

1. A Debugging Model for Functional Logic Programs
   Michael Hanus and Berthold Josephs
   In: Proceedings of the 5th International Symposium on Programming Language Implementation and Logic Programming (PLILP-93), Tallinn, Estonia, August, 25-27, 1993, 28-43. Note: Also available as Research Report MPI-I-93-222