Automated Reasoning Automated Reasoning
2020
Frontiers of Combining Systems Frontiers of Combining Systems
2011
Automated Deduction -- CADE-23 Automated Deduction -- CADE-23
2011