Your search returned the following 7 documents:

7. How to realize LSE narrowing
   Andreas Werner, Alexander Bockmayr, and Stefan Krischer
   New Generation Computing 16 (4): 397-434, 1998
   
6. LSE narrowing for decreasing conditional term rewrite systems
   Alexander Bockmayr and Andreas Werner
   In: Conditional Term Rewriting Systems CTRS'94, Jerusalem, Israel, July 1994, 1995, 51-70
   
5. Narrowing strategies for arbitrary canonical systems
   Alexander Bockmayr, Stefan Krischer, and Andreas Werner
   Fundamenta Informaticae 24 (1,2): 125-155, 1995
   
4. How to realize LSE narrowing
   Andreas Werner, Alexander Bockmayr, and Stefan Krischer
   In: Proceedings of the 4th International Conference on Algebraic and Logic Programming (ALP'94), Madrid, Spain, September 14-16, 1994, 1994, 59-76
   
3. A Concept for the Implementation of LSE Narrowing
   Andreas Werner, Alexander Bockmayr, and Stefan Krischer
   In: 9.~Workshop Logische Programmierung, Hagen, 1993
   
2. How to Realize LSE Narrowing
   Andreas Werner, Alexander Bockmayr, and Stefan Krischer
   Fakultät für Informatik, Universität Karlsruhe, Karlsruhe, 6/93
   
1. How to Realize LSE Narrowing
   Andreas Werner, Alexander Bockmayr, and Stefan Krischer
   In: Proceedings of the 2nd International Workshop on Functional/Logic Programming, Rattenberg, 1993