Caractérisation complète des extensions : application de la programmation logique avec contraintes au calcul d'extensions d'un fragment de la logique de defauts / Dinh Du Nguyen ; [sous la direction de] Norbert Cot / Grenoble : Atelier national de reproduction des thèses , 1998