ACD Term Rewriting.

Gregory J. Duck Peter J. Stuckey Sebastian Brand

Published in: ICLP (2006)

Keyphrases

term rewriting
theorem proving
theorem prover
operational semantics
rewrite systems
knuth bendix
online learning