Cadmium: An Implementation of ACD Term Rewriting.

Gregory J. Duck Leslie De Koninck Peter J. Stuckey

Published in: ICLP (2008)

Keyphrases

term rewriting
neural network
theorem prover
theorem proving
efficient implementation
database
real time
life cycle
rewrite systems