A Uniform Approach to Deduction and Automatic Implementation. - Sergio Antoy; Paola Forcheri; Maria Teresa Molfino; Carlo Schenone (DISCO, 1992)