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