Simplifying Conditional Term Rewriting Systems: Unification, Termination and Confluence.

Stéphane Kaplan

Published in: J. Symb. Comput. (1987)

Keyphrases

term rewriting systems
rewrite systems
term rewriting
theorem proving
theorem prover
functional programs
logic programs
active rules
higher order
random field model
first order logic
databases
machine learning
data warehouse
business rules