Demand-Driven Normalisation for ACD Term Rewriting.

Leslie De Koninck Gregory J. Duck Peter J. Stuckey

Published in: ICLP (2009)

Keyphrases

demand driven
term rewriting
theorem proving
theorem prover
operational semantics
rewrite systems
knuth bendix
load balance
formal semantics