A formal framework for specifying sequent calculus proof systems
scientific article; zbMATH DE number 6149029