Termination and Completion modulo Associativity, Commutativity and Identity (1992)

Cached

Download Links

by Jean-pierre Jouannaud , Claude Marché
Venue:Theoretical Computer Science
Citations:11 - 3 self