On Soundness Conditions for Unraveling Deterministic Conditional Rewrite Systems.

Karl Gmeiner Bernhard Gramlich Felix Schernhammer

Published in: RTA (2012)

Keyphrases

rewrite systems
term rewriting
knuth bendix
quantifier free
database
databases
artificial intelligence
logic programs
active rules