Albert Atserias, Jakob Nordström, Pavel Pudlák, Rahul Santhanam. Proof Complexity (Dagstuhl Seminar 18051). Dagstuhl Reports, 8(1):124-157, 2018. [doi]
@article{AtseriasNPS18,
title = {Proof Complexity (Dagstuhl Seminar 18051)},
author = {Albert Atserias and Jakob Nordström and Pavel Pudlák and Rahul Santhanam},
year = {2018},
doi = {10.4230/DagRep.8.1.124},
url = {https://doi.org/10.4230/DagRep.8.1.124},
researchr = {https://researchr.org/publication/AtseriasNPS18},
cites = {0},
citedby = {0},
journal = {Dagstuhl Reports},
volume = {8},
number = {1},
pages = {124-157},
}