P. M. Dekker, “KD45 with Propositional Quantifiers”, LLP, vol. 33, no. 1, pp. 27–54, Aug. 2023.