Lin, Fangzhen

• AI Magazine Vol. 22 No. 3: Fall 2001 - Articles
  A Planner Called R
  Abstract  PDF
• AI Magazine Vol. 39 No. 2: Summer 2018 - Articles
  Machine Theorem Discovery
  Abstract  PDF