eagle@quiche.cs.mcgill.ca (Anatol ORLOVSKY) (06/03/90)
I would like some references about theorem-proving in Euclidian Geometry. Thanks, Eagle.