共 24 条
[2]
*BIOS TECHN, 1993, INS 2 VERS 2 3 0
[5]
DINUR U, 1991, REV COMPUTATIONAL CH, V2, P4
[8]
GOLENDER VE, THEORY METHODS APPL, P137
[9]
GOLENDER VE, 1983, LOGICAL COMBINATORIA