Jacques Bellone R. Picca Concurrent Prolog: Modèle de calcul et gestion de la mémoire. 571-584 1986 conf/jfplc/1986 SPLT db/conf/jfplc/jfplc1986.html#BelloneP86