Coherence for rewriting 2-theories - Jonathan Asher Cohen (CoRR, 2009)