共 67 条
[5]
Blizard W. D., 1989, Notre Dame Journal of Formal Logic, V30, P36, DOI 10.1305/ndjfl/1093634995
[6]
Calude C. S., 2001, Lecture Notes in Computer Science, V2235
[8]
Cerf V., 1971, 7178 ENG U CAL COMP, P81
[10]
Ciric M, 1999, ALGEBR COLLOQ, V6, P71