Login / Signup

Narrowing Strategies for Arbitrary Canonical Rewrite Systems.

Alexander BockmayrStefan KrischerAndreas Werner
Published in: Fundam. Informaticae (1995)
Keyphrases
  • rewrite systems
  • term rewriting
  • active rules
  • quantifier free
  • knowledge base