Raisonnement non monotone, QBF et programmation par ensembles réponses : Hommage à Pascal Nicolas. - Hermes, 2012. - ( RSTI série RIA - Revue d'Intelligence Artificielle ; 26).