共 6 条
[2]
Knuth D.E., 1981, The Art of Computer Programming, VII
[3]
Manna Z., 1985, LOGICAL BASIS COMPUT, V1, DOI 10.2307/2275898