Skura, T., and A. Wiśniewski. “A System for Proper Multiple-Conclusion Entailment”. Logic and Logical Philosophy, vol. 24, no. 2, Feb. 2015, pp. 241–253, doi:10.12775/LLP.2015.001.