Original language | English |
---|---|
Title of host publication | Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023 |
Editors | Revantha Ramanayake, Josef Urban |
Pages | 263-282 |
DOIs | |
Publication status | Published - 2023 |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Volume | 14278 |