Rational Term Rewriting Revisited: Decidability and Confluence.

Takahito Aoto Jeroen Ketema

Published in: ICGT (2012)

Keyphrases

term rewriting
rewrite systems
theorem proving
theorem prover
decision procedures
operational semantics
description logics
knuth bendix
decision making
query answering
query containment
computational intelligence
first order logic