@inproceedings{inproceedings, title  = {{FroCoS/TABLEAUX 2019 COSPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC London, UK September 2–6, 2019}},

 publisher = {{Cambridge University Press (CUP)}},

 url = {{http://dx.doi.org/10.1017/bsl.2020.14 }},

 year = {{2021}},

 month = {{4}},

 author = {{}},

 doi = {{10.1017/bsl.2020.14}},

 volume = {{26}},

 journal = {{The Bulletin of Symbolic Logic}},

 issue = {{3-4}},

 pages = {{312-312}},

 note = {{Accessed on 2024/12/26}}}