History

for article: Confluence (abstract rewriting)