Perpetuality and Strong Normalization in Orthogonal Term Rewriting Systems.

Zurab Khasidashvili

Browse the full STACS paper archive.