SKURA, Tomasz; WIŚNIEWSKI, Andrzej. A system for proper multiple-conclusion entailment. Logic and Logical Philosophy, [S. l.], v. 24, n. 2, p. 241–253, 2015. DOI: 10.12775/LLP.2015.001. Disponível em: https://apcz.umk.pl/LLP/article/view/LLP.2015.001. Acesso em: 8 jul. 2025.