Modular termination of context-sensitive rewriting (2002)

Cached

Download Links

by Bernhard Gramlich , Salvador Lucas
Venue:IN PROC. 4TH PPDP
Citations:9 - 6 self