Skura, T. and Wiśniewski, A. (2015) “A system for proper multiple-conclusion entailment”, Logic and Logical Philosophy, 24(2), pp. 241–253. doi: 10.12775/LLP.2015.001.