![](/img/cover-not-exists.png)
First-Order Automated Reasoning with Theories: When Deduction Modulo Theory Meets Practice
Burel, Guillaume, Bury, Guillaume, Cauderlier, Raphaël, Delahaye, David, Halmagrand, Pierre, Hermant, OlivierJournal:
Journal of Automated Reasoning
DOI:
10.1007/s10817-019-09533-z
Date:
September, 2019
File:
PDF, 1.60 MB
2019