TY  - RPRT
TI  - Generalisation of proof simulation procedures for Frege systems by M.L.~Bonet and S.R.~Buss
AU  - Daniil Kozhemiachenko
PY  - 2024
DO  - 10.1080/11663081.2018.1525208
UR  - https://arxiv.org/abs/2403.09119
ID  - 2403.09119
ER  -