Deductive argumentation by enhanced sequent calculi and dynamic derivations
scientific article; zbMATH DE number 6862940
scientific article