Karine Liogier Négation constructive et modèles bivalués. 85-100 1997 conf/jfplc/1997 JFPLC db/conf/jfplc/jfplc1997.html#Liogier97