Dekker, P. M. KD45 With Propositional Quantifiers. LLP 2023, 33, 27-54.