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. In JTASPEFT/WSA. pages 53-61, 1991.

Abstract

Abstract is missing.