Login / Signup
Recycling Computed Answers in Rewrite Systems for Abduction.
Fangzhen Lin
Jia-Huai You
Published in:
IJCAI (2003)
Keyphrases
</>
rewrite systems
term rewriting
knuth bendix
active rules
quantifier free