- Simon Kramer, “Logic of Negation-Complete Interactive Proofs (Formal Theory of Epistemic Deciders)”, Electronic Notes in Theoretical Computer Science, 300, 2014,
47 
- Camillo Fiorentini, “All intermediate logics with extra axioms in one variable, except eight, are not strongly ω-complete”, J. symb. log., 65, № 4, 2000,
1576 - Peter Schroeder‐Heister, “Prawitz's completeness conjecture: A reassessment”, Theoria, 2024, theo.12541