Authors: CIONI G COLAGROSSI A MIOLA A

Citation: G. Cioni et al., A SEQUENT CALCULUS FOR AUTOMATED REASONING IN SYMBOLIC COMPUTATION SYSTEMS, Journal of symbolic computation, 19(1-3), 1995, pp. 175-199