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