References from Hard examples for the bounded depth Frege proof system. Local targets link to admitted publications; unresolved targets remain external evidence.
No reference evidence is available for this admitted work.
References for Hard examples for the bounded depth Frege proof system | ResearchHub - ResearchHub
