共 50 条
- [41] Conceptual graphs and first-order logic CONCEPTUAL STRUCTURES: APPLICATIONS, IMPLEMENTATION AND THEORY, 1995, 954 : 323 - 337
- [47] First-order logic on finite trees TAPSOFT '95: THEORY AND PRACTICE OF SOFTWARE DEVELOPMENT, 1995, 915 : 125 - 139