Completion of Rewrite Systems with Membership Constraints. Part I: Deduction Rules.

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

Keyphrases

deduction rules
rewrite systems
knuth bendix
quantifier free
term rewriting
active rules
function symbols
machine learning
database systems
operational semantics