Narrowing Strategies for Arbitrary Canonical Rewrite Systems

Fundamenta Informaticae - Netherlands
doi 10.3233/fi-1995-24126