J. Denton
发表
L. Darrell Whitley,
Jean-Paul Watson,
Adele E. Howe,
1998,
PPSN.
Burton Dreben,
B. Dreben,
John Denton,
1970
.
John Denton,
Burton Dreben,
B. Dreben,
1966,
Journal of Symbolic Logic.