@TechReport{OMS-03-1,
title = { LSAT Solver v2.0},
author = {Ostrowski, Richard and Mazure, Bertrand and Saïs, Lakhdar},
OPT_auteurs_membres = {Mazure, Bertrand and Saïs, Lakhdar},
year = {2003},
}