A Procedure to Prove Statements in Differential Geometry.

Giuseppa Carrà Ferro Giovanni Gallo A Procedure to Prove Statements in Differential Geometry. 203-209 1990 6 J. Autom. Reasoning 2 db/journals/jar/jar6.html#FerroG90