Author: International Workshop on Automated Deduction in Geometry (1st 1996 Toulouse, France)