Liste des citations dans Numdam pour : Systèmes de déduction pour les arbres et les schémas de programme (II)

RAIRO. Informatique théorique, Tome 15 (1981) no. 1, pp. 3-21.

Courcelle, B.

Publications du Département de mathématiques (Lyon), Compte rendu des journées infinitistes, no. 2B (1985), pp. 91-95.