History

for article: Normal form (abstract rewriting)