Une Machine abstraite pour la mise en oeuvre du parallélisme ou-et en programmation logique — Philippe Robert