Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Lucas, Salvador
and
Gutiérrez, Raúl
2018.
Automatic Synthesis of Logical Models for Order-Sorted First-Order Theories.
Journal of Automated Reasoning,
Vol. 60,
Issue. 4,
p.
465.