Zoé Lacroix Les Relations Implicites et Leur Calcul. 99-118 1993 conf/bda/1993 BDA db/conf/bda/bda1993.html#Lacroix93