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

Rachid Echahed, Paul Jacquet, Marie-Laure Potet, Sadik Sebbar

Browse the full SAS paper archive.