Alexander Bockmayr Stefan Krischer Andreas Werner Narrowing Strategies for Arbitrary Canonical Rewrite Systems. 125-155 1995 24 Fundam. Inform. 1/2 db/journals/fuin/fuin24.html#BockmayrKW95