John Doner
发表
John Doner,
1971,
J. Comput. Syst. Sci..
Wilfrid Hodges,
John Doner,
W. Hodges,
1988,
Journal of Symbolic Logic.
John Doner,
J. Doner,
1970,
J. Comput. Syst. Sci..