DEKKER, P. M. KD45 with Propositional Quantifiers. Logic and Logical Philosophy, [S. l.], v. 33, n. 1, p. 27–54, 2023. DOI: 10.12775/LLP.2023.018. Disponível em: https://apcz.umk.pl/LLP/article/view/39253. Acesso em: 26 feb. 2024.