Analyse et transformation de programmes Prolog en vue de leur parallélisation avec les prédicats parand et paror. - M. Griffiths; Pierre Massotte; C. Paul (JTASPEFT/WSA, 1991)