Strong sequentiality of left-linear overlapping rewrite systems (1995)

by J-P Jouannaud, W Sadfi
Venue:In Proceedings of the 4th International Workshop on Conditional Term Rewriting Systems, volume 968 of Lecture Notes in Computer Science