p3 Definition 2.6: The inclusion J ⊆ I needs to be assumed. (reported by Teppei Saito.)

p17 Example 4.10, first rule: The right-hand side should read @(@(x,z),@(y,z)). (reported by Teppei Saito.)

p25 "we abbreviate E_ω ∪ R_ω to S": ω should be dropped. (reported by Teppei Saito.)

p26 Lemma 7.7: for all multisets S (reported by Teppei Saito.)