Structured Sequent Calculi for Combining Intuitionistic and Classical First-Order Logic | Publicación