Sergio Antoy, Paola Forcheri, Maria Teresa Molfino, Carlo Schenone: A Uniform Approach to Deduction and Automatic Implementation. DISCO 1992: 132-144