Strong Sequentiality of Left-Linear Overlapping Rewrite Systems (1994)

Cached

Download Links

by Jean-pierre Jouannaud , Walid Sadfi
Venue:Proc. of Workshop on Conditional Term Rewriting Systems, CTRS'94, LNCS 968:235-246
Citations:10 - 0 self