Slothrop: Knuth-Bendix Completion with a Modern Termination Checker.

Ian Wehrman Aaron Stump Edwin M. Westbrook

Published in: RTA (2006)

Keyphrases

knuth bendix
term rewriting
rewrite systems
theorem proving

theorem prover
operational semantics
active rules

high level
first order logic
integrity constraints

termination analysis
databases
normal form