200 citations · 450 across the 51 of their papers we have counts for
1 paper · 2 filters
Gregory J. Duck, Peter J. Stuckey, Sebastian Brand
We introduce Associative Commutative Distributive Term Rewriting (ACDTR), a rewriting language for rewriting logical formulae. ACDTR extends AC term rewriting by adding distributio…