T. Skura and A. Wiśniewski, “A system for proper multiple-conclusion entailment”, LLP, vol. 24, no. 2, pp. 241–253, Feb. 2015.