About Some UP-Based Polynomial Fragments of SAT. - Mohammad Al-Saedi; Éric Grégoire; Bertrand Mazure; Lakhdar Saïs (ISAIM, 2014)