@TechReport{MRV-02-1,
title = { Planification SAT : amélioration des codages, automatisation de la traduction et étude comparative},
author = {Maris, Frédéric and Régnier, Pierre and Vidal, Vincent},
OPT_auteurs_membres = {Vidal, Vincent},
year = {2002},
institution = { IRIT Université Paul Sabatier Toulouse France},
}