Synthesis of models for order-sorted first-order theories using linear algebra and constraint solving | Publicación