共 50 条
- [44] Translating Higher-Order Clauses to First-Order Clauses Journal of Automated Reasoning, 2008, 40 : 35 - 60
- [47] First-order macroscopic modelling of human crowd dynamics MATHEMATICAL MODELS & METHODS IN APPLIED SCIENCES, 2008, 18 : 1217 - 1247
- [50] Finding Finite Models in Multi-sorted First-Order Logic THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2016, 2016, 9710 : 323 - 341