Automated Collation and Digital Editions: From Theory to Practice