Richard GÉnisson, Belaïd Benhamou, Antoine Rauzy. Une version concurrente de la procédure de Davis et Putnam.
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, Lavoisier, 1996, 10, pp.499-507.
⟨hal-01479608⟩