Gianna Cioni Attilio Colagrossi Alfonso Miola A Sequent Calculus for Automated Reasoning in Symbolic Computation Systems. 175-199 1995 19 J. Symb. Comput. 1-3 db/journals/jsc/jsc19.html#CioniCM95