Skura, Tomasz, and Andrzej Wiśniewski. “A System for Proper Multiple-Conclusion Entailment”. Logic and Logical Philosophy 24, no. 2 (February 4, 2015): 241–253. Accessed September 9, 2026. https://apcz.umk.pl/LLP/article/view/LLP.2015.001.