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 July 7, 2025. https://apcz.umk.pl/LLP/article/view/LLP.2015.001.