Sabina Bonamico Gianna Cioni Attilio Colagrossi An Enhanced Sequent Calculus for Reasoning in a Given Domain. 369-373 1993 conf/disco/1993 DISCO db/conf/disco/disco1993.html#BonamicoCC93 http://dx.doi.org/10.1007/BFb0013192