A sequent calculus for automated reasoning in symbolic computation systems
scientific article; zbMATH DE number 786282