Sara Negri: Contraction-free sequent calculi for geometric theories with an application to Barr's theorem. Arch. Math. Log. 42(4): 389-401 (2003)