共 77 条
[2]
AOUDIA SA, 1994, THESIS ECOLES MINES
[3]
Bliek C, 1998, LECT NOTES COMPUT SC, V1520, P102
[4]
BORNING A, 1979, THESIS STANFORD U
[7]
CHOU SC, 1988, MECH THEOREM PROVING
[8]
CRAPO H, 1990, 1278 INRIA
[10]
Durand C., 1998, THESIS PURDUE U