Equational Reasonning and the Completion Procedure. A Comparative Study in Program Transformation. - Rachid Echahed; Paul Jacquet; Marie-Laure Potet; Sadik Sebbar (JTASPEFT/WSA, 1991)