A Total, Ground Path Ordering for Proving Termination of AC-Rewrite Systems (1997)

Cached

Download Links

by Deepak Kapur , G. Sivakumar
Venue:Proc. 8th RTA, LNCS 1232
Citations:16 - 3 self