Christian Percebois, Ivan Futó, Irène Durand, C. Simon, B. Bonhoure. Résolution parallèle de sous-buts indépendants dans le graphe de connexion de R. Kowalski. In SPLT 86, Séminaire Programmation en Logique, 21-23 mai 1986, Trégastel, France. pages 553-570, 1986.
@inproceedings{PerceboisFDSB86,
title = {Résolution parallèle de sous-buts indépendants dans le graphe de connexion de R. Kowalski},
author = {Christian Percebois and Ivan Futó and Irène Durand and C. Simon and B. Bonhoure},
year = {1986},
tags = {C++},
researchr = {https://researchr.org/publication/PerceboisFDSB86},
cites = {0},
citedby = {0},
pages = {553-570},
booktitle = {SPLT 86, Séminaire Programmation en Logique, 21-23 mai 1986, Trégastel, France},
}