共 18 条
[2]
KEDEM G, 1976, MRC1967 U WISC TECH
[3]
KRAWCZYK R, 1983, INTERVALLOPERATOREN, P1
[6]
MOORE RE, 1980, COMPUTING S, V2, P113
[7]
MOORE RE, 1979, SIAM STUDIES, V2