Cita APA

Lucas Alba, S. (2015). Synthesis of models for order-sorted first-order theories using linear algebra and constraint solving.

Citación estilo Chicago

Lucas Alba, Salvador|||0000-0001-9923-2108. Synthesis of Models for Order-sorted First-order Theories Using Linear Algebra and Constraint Solving. 2015.

Cita MLA

Lucas Alba, Salvador|||0000-0001-9923-2108. Synthesis of Models for Order-sorted First-order Theories Using Linear Algebra and Constraint Solving. 2015.