Universityof Wisconsin
发表
Richard J. Lipton,
Richard A. DeMillo,
Universityof Wisconsin,
1980
.
Universityof Wisconsin,
Universityof Michigan,
1986
.