Contraction-free sequent calculi for geometric theories with an application to Barr's theorem
scientific article; zbMATH DE number 1982522