Jean-Yves Girard Conférénce invitée: Négation et dualité en programmation logique. 85- 2000 conf/jfplc/2000 JFPLC db/conf/jfplc/jfplc2000.html#Girard00