Confluence Criteria for Logically Constrained Rewrite Systems (Full Version).

Jonas Schöpf Aart Middeldorp

Published in: CoRR (2023)

Keyphrases

rewrite systems
term rewriting
quantifier free
active rules
knuth bendix
theorem prover
theorem proving
business rules
operational semantics