Algebraic proof theory: hypersequents and hypercompletions
scientific article; zbMATH DE number 6668383
scientific article