Saturation of first-order (constrained) clauses with the Saturate system | Publicación