Multi-focused proofs with different polarity assignments
scientific article; zbMATH DE number 6862948