Normalization property (abstract rewriting)


normalization property is a type of property.