A re of strong sequentiality for term rewriting with constructor. ic (1987)

by S Thatte