Gianna Cioni Attilio Colagrossi Alfonso Miola A Desk-Top Sequent Calculus Machine. 224-236 1992 conf/aisc/1992 AISMC db/conf/aisc/aismc1992.html#CioniCM92