Jacques Calmet John A. Campbell Artificial Intelligence and Symbolic Mathematical Computation. 1-19 1992 conf/aisc/1992 AISMC db/conf/aisc/aismc1992.html#CalmetC92