Testing from Structured First-Order Specifications via Deduction Modulo -- A Minimized