A Deductive Database for Mathematical Formulas. - Stéphane Dalmas; Marc Gaëtano; Claude Huchet (DISCO, 1996)