DBLP Record 'conf/sas/EchahedJPS91'

BibTeX

@inproceedings{DBLP:conf/sas/EchahedJPS91,
  author    = {Rachid Echahed and
               Paul Jacquet and
               Marie-Laure Potet and
               Sadik Sebbar},
  title     = {Equational Reasonning and the Completion Procedure. A Comparative
               Study in Program Transformation},
  booktitle = {JTASPEFT/WSA},
  year      = {1991},
  pages     = {53-61},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}