RT DW A1 Mora, Federico. T1 Scalable and Usable Domain-Specific Automated Reasoning