FSDIC
"On protocols for the automated discovery of theorems in elementary geometry"
G. Dalzotto (U. Pisa), T.R.