Login / Signup
Chusheng Lai
Publication Activity (10 Years)
Years Active: 1987-1987
Publications (10 Years): 0
</>
Publications
</>
Wenqi Huang
,
Chusheng Lai
,
Zhixiang Chen
Under the Routine Resolution Method.
Math. Log. Q.
33 (1) (1987)