Equational Reasonning and the Completion Procedure. A Comparative Study in Program Transformation.

Rachid Echahed Paul Jacquet Marie-Laure Potet Sadik Sebbar Equational Reasonning and the Completion Procedure. A Comparative Study in Program Transformation. 53-61 1991 JTASPEFT/WSA db/conf/sas/wsa91.html#EchahedJPS91