共 15 条
[1]
ESCAMILLA TD, 1991, THESIS TEXAS A M U
[2]
GENESERETH MR, 1992, LOGIC921 STANF U LOG
[3]
GINSBERG ML, 1991, AI MAG, V12, P57
[4]
HUARNG K, 1994, P INT COMP SOFTW APP, P51
[5]
HUARNG K, 1993, THESIS TEXAS A M U
[6]
JILG JM, 1992, 2ND GOLD W INT C INT
[7]
NECHES R, 1991, AI MAG, V12, P36
[8]
Pagan F. G., 1981, FORMAL SPECIFICATION
[9]
REDDY PD, 1992, 8TH C ART INT APPL
[10]
ROCK D, 1993, AI MAG, V6, P24