Skura, Tomasz, and Andrzej Wiśniewski. 2015. “A System for Proper Multiple-Conclusion Entailment”. Logic and Logical Philosophy 24 (2):241–253. https://doi.org/10.12775/LLP.2015.001.