- 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, no. 4, 2000,
1576