T. Bräuner, “Analytic Proof-Theory for Prior’s System Q: First Steps”, LogicPhilTime, vol. 6, no. 1, Jan. 2025.