Alexander Bockmayr Andreas Werner LSE Narrowing for Decreasing Conditional Term Rewrite Systems. 51-70 1994 conf/ctrs/1994 CTRS db/conf/ctrs/ctrs94.html#BockmayrW94