Sur la finitude des dérivations de la programmation en logique

Philippe Balbiani. Sur la finitude des dérivations de la programmation en logique. In Jean-Paul Delahaye, Philippe Devienne, Philippe Mathieu, Pascal Yim, editors, JFPL 92, 1:::ères::: Journées Francophones de Programmation Logique, 25-27 Mai 1992, Lille, France. pages 194-209, 1992.

@inproceedings{Balbiani92:0,
  title = {Sur la finitude des dérivations de la programmation en logique},
  author = {Philippe Balbiani},
  year = {1992},
  researchr = {https://researchr.org/publication/Balbiani92%3A0},
  cites = {0},
  citedby = {0},
  pages = {194-209},
  booktitle = {JFPL 92, 1:::ères::: Journées Francophones de Programmation Logique, 25-27 Mai 1992, Lille, France},
  editor = {Jean-Paul Delahaye and Philippe Devienne and Philippe Mathieu and Pascal Yim},
}