Articles Automating Event-B invariant proofs by rippling and proof patching (2019-01-02) Lin, Yuhui, Bundy, Alan, Grov, Gudmund, Maclean, Ewen Lin, Yuhui; Bundy, Alan; Grov, Gudmund; Maclean, Ewen. Automating Event-B invariant proofs by rippling and proof patching. Formal Aspects of Computing 2019 s. 1-35