Quelques résultats de mesures d'une implémentation de Prolog sur un processeur Mips. - Gilles Berger-Sabbatel; Abderrazak Jemai; Mohamed Benothman (JFPL, 1992)

Gestion de la mémoire cache pour une machine symbolique. - Mohamed Benothman; Gilles Berger-Sabbatel (JFPL, 1993)