DMCA

Proving Termination of AC-rewriting without Extended Rules

by Cristina Borralleras , Albert Rubio