Sergio Antoy, Paola Forcheri, Maria Teresa Molfino, Carlo Schenone. A Uniform Approach to Deduction and Automatic Implementation. In John Fitch, editor, Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO 92, Bath, UK, April 13-15, 1992, Proceedings. Volume 721 of Lecture Notes in Computer Science, pages 132-144, Springer, 1992.
Abstract is missing.