3 citations · 3 across the 1 of their papers we have counts for
1 paper
Issam Maamria, Michael Butler
Term rewriting has a significant presence in various areas, not least in automated theorem proving where it is used as a proof technique. Many theorem provers employ specialised pr…