"CIEL: Classes et Instances En Logique", M. Gandriau, Thesis ENSEEIHT (1988).
(1988)
Languages mentioned
CIEL
{1988}