Une approche déclarative et non déterministe de la programmation logique par objets mutables. - Macaire Ngomo; Jean-Pierre Pécuchet; Abdenbi Drissi-Talbi (JFPLC, 1995)