Add EPTCS style files and DOIs to bibliography entries; reintegrate CP
cut rules into main body of paper.