Structured Sequent Calculi for Combining Intuitionistic and Classical First-Order Logic.

Paqui Lucio Structured Sequent Calculi for Combining Intuitionistic and Classical First-Order Logic. 88-104 2000 conf/frocos/2000 FroCos db/conf/frocos/frocos2000.html#Lucio00