A Formalization of the Knuth-Bendix(-Huet) Critical Pair Theorem.

André Luiz Galdino Mauricio Ayala-Rincón

Published in: J. Autom. Reason. (2010)

Keyphrases

business process
knuth bendix
term rewriting
rewrite systems
operational semantics
databases
database
background knowledge