A Procedure to Prove Geometrical Statements.

Giuseppa Carrà Ferro Giovanni Gallo A Procedure to Prove Geometrical Statements. 141-150 1987 conf/aaecc/1987 AAECC db/conf/aaecc/aaecc1987.html#CarraFerroG87