Automated Deduction - CADE-25 - 9783319214009

Bjrner - Automated Deduction -- CADE-23 23rd International Conferen - X555z

Pascal - Discovery Science 25th International Conference DS 2022 M - X555z

Door Between A Problem in Deduction Ellery Queen International Readers League

Blanchette - Automated Reasoning 11th International Joint Conference - X555z

Winkler - Automated Deduction in Geometry 4th International Workshop - X555z

Ramanayake - Automated Reasoning with Analytic Tableaux and Related Me - X555z

McAllester, David - Automated Deduction - CADE-17: 17th International Conference