0583782 CH BXXS
Ramanayake, R. (ed.) - Urban, J. (ed.)
Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2023 Proceedings.
Cham: Springer, 2023. Lecture Notes in Computer Science, 14278. ISBN 978-3-031-43512-6. ISSN 0302-9743