Arthur J. Nevins Plane Geometry Theorem Proving Using Forward Chaining. 1-23 1975 6 Artif. Intell. 1 db/journals/ai/ai6.html#Nevins75