publication venue for First-Order Automated Reasoning with Theories: When Deduction Modulo Theory Meets Practice. 64:1001-1050. 2019
