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.
@inproceedings{EchahedJPS91,
title = {Equational Reasonning and the Completion Procedure. A Comparative Study in Program Transformation},
author = {Rachid Echahed and Paul Jacquet and Marie-Laure Potet and Sadik Sebbar},
year = {1991},
tags = {transformation, program transformation},
researchr = {https://researchr.org/publication/EchahedJPS91},
cites = {0},
citedby = {0},
pages = {53-61},
booktitle = {JTASPEFT/WSA},
}