Your search returned the following 2 documents:

2. 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
   
1. Combining Lazy Narrowing and Simplification
   Michael Hanus
   In: Proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming (PLILP'94), Madrid, Spain, September 14-16, 1994, 1994, 370-384