Automatic Synthesis of Logical Models for Order-Sorted First-Order Theories | Publicación