Gianna Cioni, Attilio Colagrossi, Alfonso Miola. A Sequent Calculus for Automated Reasoning in Symbolic Computation Systems. Journal of Symbolic Computation, 19(1-3):175-199, 1995.
@article{CioniCM95, title = {A Sequent Calculus for Automated Reasoning in Symbolic Computation Systems}, author = {Gianna Cioni and Attilio Colagrossi and Alfonso Miola}, year = {1995}, researchr = {https://researchr.org/publication/CioniCM95}, cites = {0}, citedby = {0}, journal = {Journal of Symbolic Computation}, volume = {19}, number = {1-3}, pages = {175-199}, }