共 4 条
[1]
Frank A., 1985, 26th Annual Symposium on Foundations of Computer Science (Cat. No.85CH2224-4), P459, DOI 10.1109/SFCS.1985.8
[2]
GRANOT F, 1990, IN PRESS MATH PROGRA, V46
[3]
HAMMER PL, 1970, REV FR INFORM RECH O, V4, P67