共 13 条
- [1] BEATTIE B, 1996, 3 INT C WORKSH INT G
- [2] BEATTIE B, 1995, LECT NOTES COMPUTER, V978, P207
- [3] COENEN FP, 1994, RES DEV EXPERT SYSTE, V11, P261
- [4] COENEN FP, 1995, P 1 INT C PRACT THEO, P57
- [5] COENEN FP, 1992, ICL TECHNICAL J, V9, P67
- [6] Cohn A. G., 1987, Journal of Automated Reasoning, V3, P113, DOI 10.1007/BF00243207
- [7] DIAZ B, 1986, NATURAL ENV RES COUN
- [9] Gruber T. R., 1992, 9166 KSL STANF U
- [10] HERNANDEZ D, 1991, NATO ADV SCI I D-BEH, V63, P373