S. Abdali
发表
S. Abdali,
1979
.
B. David Saunders,
B. D. Saunders,
S. Kamal Abdali,
1985,
Theor. Comput. Sci..
S. Kamal Abdali,
S. Abdali,
1976,
Journal of Symbolic Logic.