Strong Sequentiality of Left-Linear Overlapping Term Rewriting Systems

Yoshihito Toyama

Browse the full LICS paper archive.