@PHDTHESIS{simon2001,
url = "http://www.theses.fr/2001PA112260",
title = "Multirésolution pour le test de consistance et la déduction en logique propositionnelle",
author = "Simon, Laurent",
year = "2001",
pages = "VI-233 p.",
note = "Thèse de doctorat dirigée par Rousset, Marie-Christine et Chatalic, Philippe Informatique Paris 11 2001",
note = "2001PA112260",
}