Karel Chvalovský, Jan Jakubův, Miroslav Olšák, Josef Urban
Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX), Lecture Notes in Computer Science 12842, pp. 266 - 278, 2021.
pdf 
doi:10.1007/978-3-030-86059-2_16
BibTex
@inproceedings{KCJJMOJU-TABLEAUX21, author = {Karel Chvalovsk{\'{y}} and Jan Jakubuv and Miroslav Ols{\'{a}}k and Josef Urban}, editor = {Anupam Das and Sara Negri}, title = {Learning Theorem Proving Components}, booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 30th International Conference, {TABLEAUX} 2021, Birmingham, UK, September 6-9, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12842}, pages = {266--278}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-86059-2\_16}, doi = {10.1007/978-3-030-86059-2\_16},}