Manipulation formelle de programmes Prolog. - M. Kharoune (SPLT, 1985)

Deux approches du parallélisme ET en Prolog. - M. Kharoune; Abderrahmane Aggoun (SPLT, 1986)