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. Narrowing strategies for arbitrary canonical systems
   Alexander Bockmayr, Stefan Krischer, and Andreas Werner
   Fundamenta Informaticae 24 (1,2): 125-155, 1995
   
5. 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
   
4. Detecting Redundant Narrowing Derivations by the LSE-SL Reducibility Test
   Stefan Krischer and Alexander Bockmayr
   In: Proceedings of the 4th International Conference on Rewriting Techniques and Applications (RTA '91), Como, Italy, April 10-12, 1991, 74-85
   
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