Viorica Sofronie-Stokkermans

• Automated Deduction -- CADE-23
• Automated Reasoning
• Frontiers of Combining Systems