WARAGAI, T.; OMORI, H. Some new results on PCL1 and its related systems. Logic and Logical Philosophy, [S. l.], v. 19, n. 1-2, p. 129–158, 2010. DOI: 10.12775/LLP.2010.006. Disponível em: https://apcz.umk.pl/LLP/article/view/LLP.2010.006. Acesso em: 25 apr. 2024.