Système général de contraintes avec négation. - Karine Liogier (JFPLC, 1996)

Négation constructive et modèles bivalués. - Karine Liogier (JFPLC, 1997)

Négation constructive et aximatique interne. - G. Blanc; Karine Liogier (RAIRO Theor. Informatics Appl., 1997)