Multi-focused Proofs with Different Polarity Assignments. - Elaine Pimentel; Vivek Nigam; João Neto 002 (LSFA, 2015)