Cita APA

Lucas Alba, S., & Gutiérrez Gil, R. (2018). Automatic Synthesis of Logical Models for Order-Sorted First-Order Theories.

Citación estilo Chicago

Lucas Alba, Salvador|||0000-0001-9923-2108, y Raúl|||0000-0002-3984-2868 Gutiérrez Gil. Automatic Synthesis of Logical Models for Order-Sorted First-Order Theories. 2018.

Cita MLA

Lucas Alba, Salvador|||0000-0001-9923-2108, y Raúl|||0000-0002-3984-2868 Gutiérrez Gil. Automatic Synthesis of Logical Models for Order-Sorted First-Order Theories. 2018.