Automated Reasoning with Analytic Tableaux and Related Methods 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings Schmidt Renate A. Heftet / 2017 / Engelsk
Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part II Benzmüller, Christoph Heftet / 2024 / Engelsk
Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I Benzmüller, Christoph Heftet / 2024 / Engelsk
Second-order Quantifier Elimination Foundations, Computational Aspects and Applications Gabbay Dov Heftet / 2008 / Engelsk
