An Optimal Narrowing Strategy for General Canonical Systems. - Alexander Bockmayr; Stefan Krischer; Andreas Werner 001 (CTRS, 1992)

A Concept for the Implementation of LSE Narrowing. - Andreas Werner 001; Alexander Bockmayr; Stefan Krischer (WLP, 1993)

LSE Narrowing for Decreasing Conditional Term Rewrite Systems. - Alexander Bockmayr; Andreas Werner 001 (CTRS, 1994)

Narrowing Strategies for Arbitrary Canonical Rewrite Systems. - Alexander Bockmayr; Stefan Krischer; Andreas Werner 001 (Fundam. Informaticae, 1995)

How to Realize LSE Narrowing. - Andreas Werner 001; Alexander Bockmayr; Stefan Krischer (New Gener. Comput., 1998)

Untersuchung von Strategien für das logisch-funktionale Programmieren. - Andreas Werner 001 (Shaker, 1998)