Liste des citations dans Numdam pour : Sémantique logique et dénotationnelle des interpréteurs PROLOG

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 22 (1988) no. 1, pp. 3-42.

---