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

by S Thatte