Tableaux for Free Logics with Descriptions
Andrzej Indrzejczak and Michał Zawidzki
Address
Cham
Book Title
Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2021
Editor
Anupam Das‚ Sara Negri
Pages
56−73
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
12842
Year
2021