"Multi-focused Proofs with Different Polarity Assignments."

Elaine Pimentel, Vivek Nigam, João Neto (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics