A Sequent Calculus for Automated Reasoning in Symbolic Computation Systems
Gianna Cioni, Attilio Colagrossi, Alfonso MiolaVolume:
19
Year:
1995
Pages:
25
DOI:
10.1006/jsco.1995.1011
File:
PDF, 680 KB
1995