Download as PDF

Normal form (abstract rewriting)