@PhdThesis{MAZ-99-1,
title = {De la satisfaisabilité à la compilation de bases de connaissances propositionnelles},
author = {Mazure, Bertrand},
OPT_auteurs_membres = {Mazure, Bertrand},
year = {1999},
month = {jan},
address = {CRIL, Lens, France},
}