Termination of Associative-Commutative Rewriting using Dependency Pairs Criteria (2002)

Cached

Download Links

by Kusakari Keiichirou , Claude Marché , Xavier Urbain