BEDNARSKA, Kaja; INDRZEJCZAK, Andrzej. Hypersequent Calculi for S5: The Methods of Cut Elimination. Logic and Logical Philosophy, [S. l.], v. 24, n. 3, p. 277–311, 2015. DOI: 10.12775/LLP.2015.018. Disponível em: https://apcz.umk.pl/LLP/article/view/LLP.2015.018. Acesso em: 8 jul. 2025.