Une strategie de réécriture pour les programmes logiques

Jean-Jacques Chabrier, J. Durand. Une strategie de réécriture pour les programmes logiques. In Mehmet Dincbas, editor, SPLT 84, Séminaire Programmation en Logique, 25-27 avril 1984, Plestin-les-Grèves, France. 1984.

@inproceedings{ChabrierD84,
  title = {Une strategie de réécriture pour les programmes logiques},
  author = {Jean-Jacques Chabrier and J. Durand},
  year = {1984},
  researchr = {https://researchr.org/publication/ChabrierD84},
  cites = {0},
  citedby = {0},
  booktitle = {SPLT 84, Séminaire Programmation en Logique, 25-27 avril 1984, Plestin-les-Grèves, France},
  editor = {Mehmet Dincbas},
}